Готові списки джерел за темами / Automated software design

Добірка наукової літератури з теми "Automated software design"

Автор: Grafiati
Опубліковано: 30 травня 2022
Оновлено: 31 травня 2022

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Зміст

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Automated software design".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Automated software design"

1

Karimi, J., and B. R. Konsynsky. "An automated software design assistant." IEEE Transactions on Software Engineering 14, no. 2 (1988): 194–210. http://dx.doi.org/10.1109/32.4638.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Chua, Fang-Fang, Tek-Yong Lim, Bushra Tajuddin, and Amarilis Putri Yanuarifiani. "Incorporating Semi-Automated Approach for Effective Software Requirements Prioritization: A Framework Design." Journal of Informatics and Web Engineering 1, no. 1 (March 16, 2022): 1–15. http://dx.doi.org/10.33093/jiwe.2022.1.1.1.

Повний текст джерела
Анотація:
Software Requirements Prioritization (SRP) is one of the crucial processes in software requirements engineering. It presents a challenging task to decide among the pool of requirements and the variance of the stakeholder’s needs in prioritizing requirements. Semi-automated requirements prioritization is implemented in both manual and automatic processes. When prioritizing requirements, these aspects such as importance, time, cost and risk, should be taken into account. The emergence of machine learning is advancing to improve and automate the SRP process whereby decision making can be performed with minimal human intervention. Incorporating machine learning approaches in prioritization techniques can be implemented in the ranking process and classifying the priority group of the software requirements. A Semi-Automated Requirements Prioritization framework (SARiP), which implements semi-automatic process in requirements prioritization is proposed. SARiP concentrates on the areas related to prediction of requirements priority group and ranks requirements using classification tree and ranking algorithm. SARiP has been successfully evaluated in the government sector domain by the i-Tegur team from the Department of Information Technology, Ministry of Housing and Local Government of Malaysia (KPKT). 80% of the participants agreed that SARiP is extremely likely to help the participants in prioritizing the requirements for their projects. All participants agreed that SARiP is reliable and useful. Recording the requirements and results for the prioritization will be considered for future work and traceability function will be included to trace the requirements changes.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Cheng, Yu, Hong Wei Zhao, Song Wang, Wei Lv, and Tao Sun. "A Software Design of Data Acquisition System Based on Optimal Control AMT." Advanced Materials Research 765-767 (September 2013): 1969–73. http://dx.doi.org/10.4028/www.scientific.net/amr.765-767.1969.

Повний текст джерела
Анотація:
As the developing of the automatic manipulate control technique of automobile, the research and development of Automated Transmission have abstracted more and more attention. In numerous Automated Transmission productions, AMT (Automated Mechanical Transmission) plays an absolutely important role. This system is a AMT data collection system based on electro-hydraulic control. According to the design of the system software program, we can collect and analyze the data of driving, and then mark the electro-hydraulic valve. This paper designs and realizes the total structure of data collection and processing system, analyses and designs the function of all modules elaborately. It is the summary of the front period work of the whole AMT system, and is the foundation of the work of function realization and running and debugging of AMT system.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Karimi, Jahangir. "An Automated Software Design Methodology Using CAPO." Journal of Management Information Systems 3, no. 3 (December 1986): 71–100. http://dx.doi.org/10.1080/07421222.1986.11517771.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

FENG, Tie. "An Approach to Automated Software Design Improvement." Journal of Software 17, no. 4 (2006): 703. http://dx.doi.org/10.1360/jos170703.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Mlynarski, Mark, Jay A. Puckett, Chad M. Clancy, Brian L. Goodrich, Mark C. Jablin, William Smyers, and Ken Wilson. "Bridge Software Validation Guidelines and Examples." Transportation Research Record: Journal of the Transportation Research Board 1696, no. 1 (January 2000): 143–51. http://dx.doi.org/10.3141/1696-17.

Повний текст джерела
Анотація:
NCHRP 12-50 is a research project to investigate current software validation procedures and to provide an improved method of verifying bridge design and analysis software. The removal of errors in bridge design and analysis software has a far-reaching impact on safety assurance in the design and rating of bridges. Bridge engineers are relying on automated computations at an increasing rate. Automation of bridge computations is now an integral part of routine practice. In theory, this software should be error free—yet perfect software remains elusive. The number of bridge types and geometric configurations, materials, and loadings creates a large solution domain that must be addressed. The validation method currently being developed involves the automated generation of a series of test suites. Each test suite will contain input files for several analysis engines (software packages) and the results of the analyses and designs performed by these engines. The automatic generation of input files for a particular software package enables thousands of different cases to be created in a matter of minutes. Similarly, the output from the engines can be compared automatically using database or spreadsheet software. Each problem generated will have slightly varying input parmeters. The goal is to increment the various input parameters to test as many articles of the LRFD Specifications as possible. This novel, systematic, and automated approach provides guidelines that can be applied to a host of computational processes associated with bridge engineering, specification development, and software maintenance. Some examples are presented to illustrate the process.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Burlachenko, Zhanna, Stanislav Velykodniy, and Svitlana Zaitseva-Velykodna. "SOFTWARE FOR AUTOMATED DESIGN OF NETWORK GRAPHICS OF SOFTWARE SYSTEMS REENGINEERING." Herald of Advanced Information Technology 2, no. 2 (April 7, 2019): 95–107. http://dx.doi.org/10.15276/hait.02.2019.2.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Chen, Chen, Jian Mao, and Xingwen Gan. "Design of Automated Warehouse Management System." MATEC Web of Conferences 232 (2018): 03049. http://dx.doi.org/10.1051/matecconf/201823203049.

Повний текст джерела
Анотація:
Aiming at the low degree of automation in production enterprises, real-time tracking and automatic access to warehouses are realized by developing warehouse management software. The paper first analyzes the system requirements, and then gives the overall design plan, through C#, MySQL and TCP. IP communication protocol, compiled a set of warehouse management system software. The actual application shows that the automation level and management efficiency of production enterprises are improved.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Suchanovský, M., J. Molnár, and O. Slavko. "DESIGN AND IMPLEMENTATION OF AUTOMATED SYSTEM FOR MEASURING CAR BATTERY CAPACITY." Electromechanical and energy saving systems 4, no. 52 (December 23, 2020): 51–59. http://dx.doi.org/10.30929/2072-2052.2020.4.52.51-59.

Повний текст джерела
Анотація:
Purpose. The purpose of this article is to design hardware for an automated system for measuring the parameters of the car battery and the subsequent approximation of its capacity and other parameters necessary to determine its condition. Originality. The paper deals with the research on the car batteries and measuring instruments to detect their parameters in order to determine a suitable software solution for automated measuring system to measure the car battery capacity. Methodology. The paper proposes one of the possibilities for development an automated system for measuring car battery capacity basing on microcontrollers system using prototyping, designing, simulation and testing techniques. Authors described the whole development process starting from computer design of the proposed device, chose the elements for hardware unit, prototyping using development boards and tools, developing program algorithms and implementing related applied software with the final results verification. Result. In this work authors proposed hardware solution of an automated system for measuring the capacity of a car battery. The whole design concept consisted of the selection of the main hardware components, which were then implemented into a complex functional unit. Following it was designed a software solution. This proposal was initiated by a program for measuring the parameters of the battery, then the calculation of the internal resistance from the measured parameters and the approximation of capacity on the basis of the detected life-span was added to this programme. A Web page was then created. Practical value. Proposed experimental sample could be practically used for automatic measurement of car battery capacity and also could be served as an experimental sample of remote measuring device. References 14, figures 14.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Frydman, Maxime, Guifré Ruiz, Elisa Heymann, Eduardo César, and Barton P. Miller. "Automating Risk Analysis of Software Design Models." Scientific World Journal 2014 (2014): 1–12. http://dx.doi.org/10.1155/2014/805856.

Повний текст джерела
Анотація:
The growth of the internet and networked systems has exposed software to an increased amount of security threats. One of the responses from software developers to these threats is the introduction of security activities in the software development lifecycle. This paper describes an approach to reduce the need for costly human expertise to perform risk analysis in software, which is common in secure development methodologies, by automating threat modeling. Reducing the dependency on security experts aims at reducing the cost of secure development by allowing non-security-aware developers to apply secure development with little to no additional cost, making secure development more accessible. To automate threat modeling two data structures are introduced, identification trees and mitigation trees, to identify threats in software designs and advise mitigation techniques, while taking into account specification requirements and cost concerns. These are the components of our model for automated threat modeling, AutSEC. We validated AutSEC by implementing it in a tool based on data flow diagrams, from the Microsoft security development methodology, and applying it to VOMS, a grid middleware component, to evaluate our model's performance.
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Дисертації з теми "Automated software design"

1

Hwang, Yves. "An automated software design synthesis framework." University of Western Australia. School of Electrical, Electronic and Computer Engineering, 2009. http://theses.library.uwa.edu.au/adt-WU2009.0157.

Повний текст джерела
Анотація:
This thesis presents an automated software design synthesis framework known as Project Calliope. This framework aligns with Harel's automated software development process as it addresses the aspect of automating design and implementation. Project Calliope is based on a Statecharts synthesis approach in the literature. The main goal of Project Calliope is to automatically generate testable Unified Modeling Language (UML) Statecharts that are deterministic, visually manageable and UML compliant. In order to minimise design errors in the generated UML Statecharts, Project Calliope supports model checking through Statecharts execution. In addition, executable code is automatically generated based on the synthesised UML Statecharts. This framework seeks to provide a pragmatic design framework that can be readily incorporated into software development methodologies that leverage UML. In this thesis, Project Calliope is applied to three simple applications from Whittle and Schumann's examples and a case study based on a commercial application. They are automatic teller machine, coffee dispenser, an agent application, and a groupware application respectively.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Adhyapak, Sriram. "ASDN : Automated Software Design Notebook tool." FIU Digital Commons, 1990. http://digitalcommons.fiu.edu/etd/1087.

Повний текст джерела
Анотація:
Software Engineering is one of the most widely researched areas of Computer Science. The ability to reuse software, much like reuse of hardware components is one of the key issues in software development. The object-oriented programming methodology is revolutionary in that it promotes software reusability. This thesis describes the development of a tool that helps programmers to design and implement software from within the Smalltalk Environment (an Object- Oriented programming environment). The ASDN tool is part of the PEREAM (Programming Environment for the Reuse and Evolution of Abstract Models) system, which advocates incremental development of software. The Asdn tool along with the PEREAM system seeks to enhance the Smalltalk programming environment by providing facilities for structured development of abstractions (concepts). It produces a document that describes the abstractions that are developed using this tool. The features of the ASDN tool are illustrated by an example.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Vasylenko, Oleksii, Viktor Chuprynka, and Natalia Chuprynka. "Mathematical software for automated gloves design." Thesis, Київський національний університет технологій та дизайну, 2021. https://er.knutd.edu.ua/handle/123456789/19096.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Shaw, Hazel Anne. "Automated test of evolving software." Thesis, University of Bedfordshire, 2005. http://hdl.handle.net/10547/305743.

Повний текст джерела
Анотація:
Computers and the software they run are pervasive, yet released software is often unreliable, which has many consequences. Loss of time and earnings can be caused by application software (such as word processors) behaving incorrectly or crashing. Serious disruption can occur as in the l4th August 2003 blackouts in North East USA and Canadal, or serious injury or death can be caused as in the Therac-25 overdose incidents. One way to improve the quality of software is to test it thoroughly. However, software testing is time consuming, the resources, capabilities and skills needed to carry it out are often not available and the time required is often curtailed because of pressures to meet delivery deadlines3. Automation should allow more thorough testing in the time available and improve the quality of delivered software, but there are some problems with automation that this research addresses. Firstly, it is difficult to determine ifthe system under test (SUT) has passed or failed a test. This is known as the oracle problem4 and is often ignored in software testing research. Secondly, many software development organisations use an iterative and incremental process, known as evolutionary development, to write software. Following release, software continues evolving as customers demand new features and improvements to existing ones5. This evolution means that automated test suites must be maintained throughout the life ofthe software. A contribution of this research is a methodology that addresses automatic generation of the test cases, execution of the test cases and evaluation of the outcomes from running each test. "Predecessor" software is used to solve the oracle problem. This is software that already exists, such as a previous version of evolving software, or software from a different vendor that solves the same, or similar, problems. However, the resulting oracle is assumed not be perfect, so rules are defined in an interface, which are used by the evaluator in the test evaluation stage to handle the expected differences. The interface also specifies functional inputs and outputs to the SUT. An algorithm has been developed that creates a Markov Chain Transition Matrix (MCTM) model of the SUT from the interface. Tests are then generated automatically by making a random walk of the MCTM. This means that instead of maintaining a large suite of tests, or a large model of the SUT, only the interface needs to be maintained.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Flobakk, Rune. "Automated verification of design adherence in software implementation." Thesis, Norwegian University of Science and Technology, Department of Computer and Information Science, 2007. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-8808.

Повний текст джерела
Анотація:

Software design and architecture specify how a system should be implemented to achieve the required quality attributes. Being able to automatically verify the design adherence during implementation will continuously assure that the system realizes the quality attributes, as well as over time does not drift away from them. This thesis investigates how a software design can be used to automatically verify and enforce rules for implementation. The current tool support for automatic design enforcement is assessed and reviewed. In addition, a prototype contribution to this practice, a plug-in for the Maven software project management system, is presented.

Стилі APA, Harvard, Vancouver, ISO та ін.
6

Gump, Brandon Adam. "Automated Transforms of Software Models: A Design Pattern Approach." Wright State University / OhioLINK, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=wright1260287805.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Egerton, David. "Automated generation of SW design constructs from MESA source code /." Online version of thesis, 1993. http://hdl.handle.net/1850/12144.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Byström, Markus. "Design and realisation of an automated software testing system utilizing virtual machines." Thesis, KTH, Skolan för datavetenskap och kommunikation (CSC), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-154480.

Повний текст джерела
Анотація:
Modern mjukvara körs ofta i många olika miljöer vilket ställer höga krav på testning och kvalitetssäkring. Mjukvara som löpande förvaltas måste testas regelbundet för att säkerställa kompatibiliteten till de miljöer eller plattformar som den används i. Detta kan knyta upp stora mängder resurser i form av mantimmar för testare och hårdvarutillgänglighet. Genom att testa virtuellt är det möjligt att automatisera stora delar av processen på ett enkelt sätt och i och med det effektivisera testningen. I det här examensarbetet designades, implementerades och utvärderades ett automatiserat testsystem som utnyttjar virtuella maskiner åt Scania på avdelningen för Diagnostic Communication and Software Download, RESC. Det implementerade testsystemet möjliggjorde dagliga regressions- och installationstester på alla de plattformar som mjukvarukomponenten SCOMM, Scania Communication Module, används i. Vissa smärre svårigheter märktes av som att några Windows-versioner uppförde sig på lite olika sätt angående rättigheter och beteende samt att det trots den låga overheaden i de virtuella maskinerna kunde uppstå timingproblem i ett fåtal testfall, vilket ledde till att de stundtals kunde misslyckas. Genom att parallellt köra tester i olika operativsystem kunde flera tester utföras på kortare tid än förut. Testtillförlitligheten ökade också i och med att alla testkörningar varje gång kunde utgå från samma tillstånd av de virtuella maskinerna. Arbetstiden för installation och underhåll av testmiljön kan minskas i och med att många virtuella maskiner kan samexistera på en fysisk maskin.
Modern software is often run in many different environments which puts high demands on testing and quality assurance. Continuous testing of software during the software development cycle is necessary in order to ensure the compatibility between the software and the different environments or platforms in which the software is used. This may require signicant resources in the form of man hours for testers and hardware availability. By testing in virtual environments it is possible to automate most of this process in an easy way and thus make testing more efficient. In this master thesis an automated test system utilizing virtual machines was designed, implemented and evaluated for Scania at its department for Diagnostic Communication and Software Download, RESC. The implemented test system enabled regression and installation testing of the software component SCOMM, Scania Communication Module, to be performed on all the supported platforms on a daily basis. Some minor difficulties were experienced such as some versions of the Windows operating system behaving differently regarding to permissions and operation and also that despite the low overhead of the virtual machine some timing issues were noticed in a few test cases which led them to intermittently fail. By testing software in different operating systems in parallel, it was possible todo more testing in less time than before. Testing reliability was increased due to every test starting from a known state of the virtual machines. The time spent on setup and maintenance of the testing environment can be decreased since multiple virtual machines can co-exist on one physical machine.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Magnusson, Elias, and Samuel Svensson. "Automated characterization of printed electronics." Thesis, Linköpings universitet, Fysik och elektroteknik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-150139.

Повний текст джерела
Анотація:
This thesis was conducted to provide an automated method for characterization of printed electronics. The work was built on a multi-axis milling machine. Further, the machine was modified by replacing the milling-tool with an installment utilizing electrical probing. Different measurement techniques, machine vision applications, and software solutions were evaluated and utilized. All the revolving functionalities of this project was then merged into a complete system, controlled by a graphical user interface. The resulting system was capable of autonomously characterize a given number of components on a printed sheet. The final version of the system is capable of finding the origin of the sheet by using machine vision and fiducial markers.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Gündüz, Mustafa Emre. "Software integration for automated stability analysis and design optimization of a bearingless rotor blade." Diss., Georgia Institute of Technology, 2010. http://hdl.handle.net/1853/33916.

Повний текст джерела
Анотація:
The concept of applying several disciplines to the design and optimization processes may not be new, but it does not currently seem to be widely accepted in industry. The reason for this might be the lack of well-known tools for realizing a complete multidisciplinary design and analysis of a product. This study aims to propose a method that enables engineers in some design disciplines to perform a fairly detailed analysis and optimization of a design using commercially available software as well as codes developed at Georgia Tech. The ultimate goal is when the system is set up properly, the CAD model of the design, including all subsystems, will be automatically updated as soon as a new part or assembly is added to the design; or it will be updated when an analysis and/or an optimization is performed and the geometry needs to be modified. Such a design process takes dramatically less time to complete; therefore, it should reduce development time and costs. The optimization method is demonstrated on an existing helicopter rotor originally designed in the 1960's. The rotor is already an effective design with novel features. However, application of the optimization principles together with high-speed computing resulted in an even better design. The objective function to be minimized is related to the vibrations of the rotor system under gusty wind conditions. The design parameters are all continuous variables. Optimization is performed in a number of steps. First, the most crucial design variables of the objective function are identified. With these variables, Latin Hypercube Sampling method is used to probe the design space of several local minima and maxima. After analysis of numerous samples, an optimum configuration of the design that is more stable than that of the initial design is reached. The process requires several software tools: CATIA as the CAD tool, ANSYS as the FEA tool, VABS for obtaining the cross-sectional structural properties, and DYMORE for the frequency and dynamic analysis of the rotor. MATLAB codes are also employed to generate input files and read output files of DYMORE. All these tools are connected using ModelCenter.
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Книги з теми "Automated software design"

1

The complete directory of automated design software. New York: Brady, 1990.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

J, Berndt Donald, and Kandel Abraham, eds. Automated database applications testing: Specification representation for automated reasoning. Singapore: World Scientific, 2010.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Myler, Harley R. Automated knowledge generation: First year final report. [Washington, DC: National Aeronautics and Space Administration, 1988.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Ayer, Steve J. Design specifications for an automated documentation system: A CASE approach to preparing computer systems analysis and design documentation. Sunnyvale, CA: Technical Communications Associates, 1990.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

service), SpringerLink (Online, ed. Automated Configuration Problem Solving. New York, NY: Springer New York, 2012.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Transportation, Montana Department of. Professional services report for software conceptual design for the development of MDT automated deflection analysis procedure. Helena, Mont: Montana Dept. of Transportation, 1995.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Viorica, Sofronie-Stokkermans, and SpringerLink (Online service), eds. Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Bonacina, Maria Paola. Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Saito, Jim. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1988.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Saito, Jim. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1988.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Частини книг з теми "Automated software design"

1

Cadena, Richard. "Lighting Design Software." In Automated Lighting, 445–71. Third edition. | New York, NY : Routledge, 2017.: Routledge, 2017. http://dx.doi.org/10.4324/9781315724492-20.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Blumenthal, Brad. "Automated Interface Design Techniques." In User-Centred Requirements for Software Engineering Environments, 225–33. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-662-03035-6_18.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Brazier, Frances M. T., and Niek J. E. Wijngaards. "Automated (Re-)Design of Software Agents." In Artificial Intelligence in Design ’02, 503–20. Dordrecht: Springer Netherlands, 2002. http://dx.doi.org/10.1007/978-94-017-0795-4_24.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Moghadam, Iman Hemati. "Multi-level Automated Refactoring Using Design Exploration." In Search Based Software Engineering, 70–75. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23716-4_9.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Debreceni, Csaba, István Ráth, Dániel Varró, Xabier De Carlos, Xabier Mendialdua, and Salvador Trujillo. "Automated Model Merge by Design Space Exploration." In Fundamental Approaches to Software Engineering, 104–21. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-49665-7_7.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Batory, Don, Rui Gonçalves, Bryan Marker, and Janet Siegmund. "Dark Knowledge and Graph Grammars in Automated Software Design." In Software Language Engineering, 1–18. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-02654-1_1.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Dong, Zhijiang, Yujian Fu, Yue Fu, and Xudong He. "Automated Runtime Validation of Software Architecture Design." In Distributed Computing and Internet Technology, 446–57. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11604655_52.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Weißleder, Stephan, Florian Wartenberg, and Hartmut Lackner. "Automated Test Design for Boundaries of Product Line Variants." In Testing Software and Systems, 86–101. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-25945-1_6.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Anvaari, Mohsen, and Olaf Zimmermann. "Semi-automated Design Guidance Enhancer (SADGE): A Framework for Architectural Guidance Development." In Software Architecture, 41–49. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-09970-5_4.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Kuprianoff, Kirill, Christina Shutova, and Andrei Vukolov. "Software Optimization Problem Solver for Automated Linkage Design." In New Trends in Mechanism and Machine Science, 451–58. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-55061-5_51.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Automated software design"

1

Ó Cinnéide, Mel, and Paddy Nixon. "Automated software evolution towards design patterns." In the 4th international workshop. New York, New York, USA: ACM Press, 2002. http://dx.doi.org/10.1145/602461.602499.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Cook, Michael. "Software Engineering For Automated Game Design." In 2020 IEEE Conference on Games (CoG). IEEE, 2020. http://dx.doi.org/10.1109/cog47356.2020.9231750.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Tzonev, Mladen M. "Software Product For Automated Optical Design." In 1988 International Congress on Optical Science and Engineering, edited by Andre Masson, Joachim J. Schulte-in-den-Baeumen, and Hannfried Zuegge. SPIE, 1989. http://dx.doi.org/10.1117/12.949361.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Freudenstein, Dietmar, Jeannette Radduenz, Maximilian Junker, Sebastian Eder, and Benedikt Hauptmann. "Automated test-design from requirements." In ICSE '18: 40th International Conference on Software Engineering. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3195538.3195543.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Batory, Don. "Thoughts on automated software design and synthesis." In the FSE/SDP workshop. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1882362.1882369.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Meek, Jason R., and Narayan C. Debnath. "Architectural Design of an Automated Software Tool." In 2010 Seventh International Conference on Information Technology: New Generations. IEEE, 2010. http://dx.doi.org/10.1109/itng.2010.181.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Valiev, R. A., and Sh Sh Khuzyatov. "Pattern-design software of automated control systems." In 2016 2nd International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM). IEEE, 2016. http://dx.doi.org/10.1109/icieam.2016.7910942.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Wang, Hongzhi, Qiuyi Wu, Chenhui Fan, and Xiaowei Shi. "A Framework for Automated Filter Design Software." In 2018 International Conference on Microwave and Millimeter Wave Technology (ICMMT). IEEE, 2018. http://dx.doi.org/10.1109/icmmt.2018.8563652.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Silva, Taciano M., Dalton Serey, Jorge Figueiredo, and João Brunet. "Automated design tests to check Hibernate design recommendations." In SBES 2019: XXXIII Brazilian Symposium on Software Engineering. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3350768.3351796.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Moghadam, Iman Hemati, and Mel Ó. Cinnéide. "Automated Refactoring Using Design Differencing." In 2012 16th European Conference on Software Maintenance and Reengineering (CSMR). IEEE, 2012. http://dx.doi.org/10.1109/csmr.2012.15.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "Automated software design"

1

Holcomb, Greg D. Design and Software Development of Automated Data Acquisition System for Load Cell Calibration. Fort Belvoir, VA: Defense Technical Information Center, July 1998. http://dx.doi.org/10.21236/ada370991.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Patel, Yusef. File to Factory: A case study of automated prefabrication house-building methods for small-to-medium enterprises. Unitec ePress, December 2017. http://dx.doi.org/10.34074/ocds.0823.

Повний текст джерела
Анотація:
The Eco-Digital Fabrication (EDFAB) research project aimed to investigate how automated prefabrication technologies and off-the-shelf construction products can be employed to disrupt building industry norms. The aim of this research – conducted at the University of Auckland and Unitec Institute of Technology from 2014 onward – was to provide small-to-medium enterprises in the construction industry with a pathway to upskill and increase construction productivity through the use of these processes. The availability of automated machines and easy-to-use fabrication software is increasing dramatically and this can be paired with readily available construction products to produce novel mass-customised housing solutions. The application of basic automated technologies – such as CNC (Computer Numerical Control) routers – allowed researchers to create ‘recipes’ that can be adopted and adapted relatively easily. By no means did the research favour digital manufacture or assembly processes over traditional analogue construction techniques – the goal was to provide logical, productive and accessible blended solutions for greater affordability and flexibility in design. For example, the designed experiments were required to be built from readily available products, and used simple readymade screw fixings rather than digitally produced custom fixings or joining mechanisms. The research project aimed to generate discussion and provide recommendations on how the construction industry might support the adoption of automated prefabrication technology in small-to-medium enterprise (SME).
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Allen, Luke, Joon Lim, Robert Haehnel, and Ian Detwiller. Rotor blade design framework for airfoil shape optimization with performance considerations. Engineer Research and Development Center (U.S.), June 2021. http://dx.doi.org/10.21079/11681/41037.

Повний текст джерела
Анотація:
A framework for optimizing rotor blade airfoil shape is presented. The framework uses two digital workflows created within the Galaxy Simulation Builder (GSB) software package. The first is a workflow enabling the automated creation of a surrogate model for predicting airfoil performance coefficients. An accurate surrogate model for the rapid generation of airfoil coefficient tables has been developed using linear interpolation techniques that is based on C81Gen and ARC2D CFD codes. The second workflow defines the rotor blade optimization problem using GSB and the Dakota numerical optimization library. The presented example uses a quasi-Newton optimization algorithm to optimize the tip region of the UH-60A main rotor blade with respect to vehicle performance. This is accomplished by morphing the blade tip airfoil shape for optimum power, subject to a constraint on the maximum pitch link load.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Tao, Yang, Amos Mizrach, Victor Alchanatis, Nachshon Shamir, and Tom Porter. Automated imaging broiler chicksexing for gender-specific and efficient production. United States Department of Agriculture, December 2014. http://dx.doi.org/10.32747/2014.7594391.bard.

Повний текст джерела
Анотація:
Extending the previous two years of research results (Mizarch, et al, 2012, Tao, 2011, 2012), the third year’s efforts in both Maryland and Israel were directed towards the engineering of the system. The activities included the robust chick handling and its conveyor system development, optical system improvement, online dynamic motion imaging of chicks, multi-image sequence optimal feather extraction and detection, and pattern recognition. Mechanical System Engineering The third model of the mechanical chick handling system with high-speed imaging system was built as shown in Fig. 1. This system has the improved chick holding cups and motion mechanisms that enable chicks to open wings through the view section. The mechanical system has achieved the speed of 4 chicks per second which exceeds the design specs of 3 chicks per second. In the center of the conveyor, a high-speed camera with UV sensitive optical system, shown in Fig.2, was installed that captures chick images at multiple frames (45 images and system selectable) when the chick passing through the view area. Through intensive discussions and efforts, the PIs of Maryland and ARO have created the protocol of joint hardware and software that uses sequential images of chick in its fall motion to capture opening wings and extract the optimal opening positions. This approached enables the reliable feather feature extraction in dynamic motion and pattern recognition. Improving of Chick Wing Deployment The mechanical system for chick conveying and especially the section that cause chicks to deploy their wings wide open under the fast video camera and the UV light was investigated along the third study year. As a natural behavior, chicks tend to deploy their wings as a mean of balancing their body when a sudden change in the vertical movement was applied. In the latest two years, this was achieved by causing the chicks to move in a free fall, in the earth gravity (g) along short vertical distance. The chicks have always tended to deploy their wing but not always in wide horizontal open situation. Such position is requested in order to get successful image under the video camera. Besides, the cells with checks bumped suddenly at the end of the free falling path. That caused the chicks legs to collapse inside the cells and the image of wing become bluer. For improving the movement and preventing the chick legs from collapsing, a slowing down mechanism was design and tested. This was done by installing of plastic block, that was printed in a predesign variable slope (Fig. 3) at the end of the path of falling cells (Fig.4). The cells are moving down in variable velocity according the block slope and achieve zero velocity at the end of the path. The slop was design in a way that the deacceleration become 0.8g instead the free fall gravity (g) without presence of the block. The tests showed better deployment and wider chick's wing opening as well as better balance along the movement. Design of additional sizes of block slops is under investigation. Slops that create accelerations of 0.7g, 0.9g, and variable accelerations are designed for improving movement path and images.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Kolgatina, Larisa, Lyudmyla Bilousova, and Oleksandr Kolgatin. Pedagogical diagnostics with use of computer technologies. CEUR-WS, June 2013. http://dx.doi.org/10.31812/123456789/3222.

Повний текст джерела
Анотація:
The technology of the automated pedagogical diagnostics is analysed. The testing strategy, oriented for pedagogical diagnostics purpose, and grading algorithm, which corresponds to Ukrainian school grading standards, are suggested. "Expert 3.05”software for automated pedagogical testing is designed. The methods of administration of the database of the test items are proposed. Some tests on the mathematical topics are prepared with "Expert 3.05". The approbation of these tests in the educational process of Kharkov National Pedagogical University named after G.S.Skovoroda is analysed.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Hsueh, Gary, David Czerwinski, Cristian Poliziani, Terris Becker, Alexandre Hughes, Peter Chen, and Melissa Benn. Using BEAM Software to Simulate the Introduction of On-Demand, Automated, and Electric Shuttles for Last Mile Connectivity in Santa Clara County. Mineta Transportation Institute, January 2021. http://dx.doi.org/10.31979/mti.2021.1822.

Повний текст джерела
Анотація:
Despite growing interest in low-speed automated shuttles, pilot deployments have only just begun in a few places in the U.S., and there is a lack of studies that estimate the impacts of a widespread deployment of automated shuttles designed to supplement existing transit networks. This project estimated the potential impacts of automated shuttles based on a deployment scenario generated for a sample geographic area: Santa Clara County, California. The project identified sample deployment markets within Santa Clara County using a GIS screening exercise; tested the mode share changes of an automated shuttle deployment scenario using BEAM, an open-source beta software developed at the Lawrence Berkeley National Laboratory to run traffic simulations with MATSim; elaborated the model outputs within the R environment; and then estimated the related impacts. The main findings have been that the BEAM software, despite still being in its beta version, was able to model a scenario with the automated shuttle service: this report illustrates the potential of the software and the lessons learned. Regarding transportation aspects, the model estimated automated shuttle use throughout the county, with a higher rate of use in the downtown San José area. The shuttles would be preferred mainly by people who had been using gasoline-powered ride hail vehicles for A-to-B trips or going to the bus stop, as well as walking trips and a few car trips directed to public transport stops. As a result, the shuttles contributed to a small decrease in emissions of air pollutants, provided a competitive solution for short trips, and increased the overall use of the public transport system. The shuttles also presented a solution for short night trips—mainly between midnight and 2 am—when there are not many options for moving between points A and B. The conclusion is that the automated shuttle service is a good solution in certain contexts and can increase public transit ridership overall.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Lavrentieva, Olena O., Ihor O. Arkhypov, Olexander I. Kuchma, and Aleksandr D. Uchitel. Use of simulators together with virtual and augmented reality in the system of welders’ vocational training: past, present, and future. [б. в.], February 2020. http://dx.doi.org/10.31812/123456789/3748.

Повний текст джерела
Анотація:
The article discusses the theory and methods of simulation training, its significance in the context of training specialists for areas where the lack of primary qualification is critical. The most widespread hardware and software solutions for the organization welders' simulation training that use VR- and AR- technologies have been analyzed. A review of the technological infrastructure and software tools for the virtual teaching-and-production laboratory of electric welding has been made on the example of the achievements of Fronius, MIMBUS, Seabery. The features of creating a virtual simulation of the welding process using modern equipment based on studies of the behavioral reactions of the welder have been shown. It is found the simulators allow not only training, but also one can build neuro-fuzzy logic and design automated and robotized welding systems. The functioning peculiarities of welding's simulators with AR have been revealed. It is shown they make it possible to ensure the forming basic qualities of a future specialist, such as concentration, accuracy and agility. The psychological and technical aspects of the coaching programs for the training and retraining of qualified welders have been illustrated. The conclusions about the significant advantages of VR- and AR-technologies in comparison with traditional ones have been made. Possible directions of the development of simulation training for welders have been revealed. Among them the AR-technologies have been presented as such that gaining wide popularity as allow to realize the idea of mass training in basic professional skills.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Striuk, Andrii M. Software engineering: first 50 years of formation and development. [б. в.], December 2018. http://dx.doi.org/10.31812/123456789/2880.

Повний текст джерела
Анотація:
The article analyzes the main stages of software engineering (SE) development. Based on the analysis of materials from the first SE conferences (1968-1969), it was determined how the software crisis prompted scientists and practitioners to join forces to form an engineering approach to programming. Differences in professional training for SE are identified. The fundamental components of the training of future software engineers are highlighted. The evolution of approaches to the design, implementation, testing and documentation of software is considered. The system scientific, technological approaches and methods for the design and construction of computer programs are highlighted. Analysis of the historical stages of the development of SE showed that despite the universal recognition of the importance of using the mathematical apparatus of logic, automata theory and linguistics when developing software, it was created empirically without its use. The factor that led practitioners to turn to the mathematical foundations of an SE is the increasing complexity of software and the inability of empirical approaches to its development and management to cope with it. The training of software engineers highlighted the problem of the rapid obsolescence of the technological content of education, the solution of which lies in its fundamentalization through the identification of the basic foundations of the industry. It is determined that mastering the basics of computer science is the foundation of vocational training in SE.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Furman, Burford, Laxmi Ramasubramanian, Shannon McDonald, Ron Swenson, Jack Fogelquist, Yu Chiao, Alex Pape, and Mario Cruz. Solar-Powered Automated Transportation: Feasibility and Visualization. Mineta Transportation Institute, December 2021. http://dx.doi.org/10.31979/mti.2021.1948.

Повний текст джерела
Анотація:
A solar-powered automated transportation network (ATN) connecting the North and South campuses of San José State University with three passenger stations was designed, visualized, and analyzed in terms of its energy usage, carbon offset, and cost. The study’s methodology included the use of tools and software such as ArcGIS, SketchUp, Infraworks, Sketchup, Rhinoceros, and Autodesk 3DS Max. ATN vehicle energy usage was estimated using data from the university’s Park & Ride shuttle bus operation and by modeling with SUMOPy, the advanced simulation suite for the micro-traffic simulator SUMO. The energy study showed that an extensive solar photovoltaic (PV) canopy over the guideway and stations is sufficient for the network to run 24/7 in better-than-zero net-metered conditions—even if ridership were to increase 15% above that predicted from SJSU Park & Ride shuttle data. The resulting energy system has a PV-rated output of 6.2 MW, a battery system capacity of 9.8 MWh, and an estimated cost of $11.4 million USD. The solar ATN also produces 98% lower CO2 and PM2.5 emissions compared to the Park & Ride shuttle bus. A team of experts including urban planners, architects, and engineers designed and visualized the conceptual prototype, including a comprehensive video explaining the need for solar ATN and what a typical rider would experience while utilizing the system. This research demonstrates both benefits and challenges for solar-powered ATN, as well as its functionality within the urban built environment to serve diverse San José neighborhoods.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Taiber, Joachim. Unsettled Topics Concerning the Impact of Quantum Technologies on Automotive Cybersecurity. SAE International, December 2020. http://dx.doi.org/10.4271/epr2020026.

Повний текст джерела
Анотація:
Quantum computing is considered the “next big thing” when it comes to solving computational problems impossible to tackle using conventional computers. However, a major concern is that quantum computers could be used to crack current cryptographic schemes designed to withstand traditional cyberattacks. This threat also impacts future automated vehicles as they become embedded in a vehicle-to-everything (V2X) ecosystem. In this scenario, encrypted data is transmitted between a complex network of cloud-based data servers, vehicle-based data servers, and vehicle sensors and controllers. While the vehicle hardware ages, the software enabling V2X interactions will be updated multiple times. It is essential to make the V2X ecosystem quantum-safe through use of “post-quantum cryptography” as well other applicable quantum technologies. This SAE EDGE™ Research Report considers the following three areas to be unsettled questions in the V2X ecosystem: How soon will quantum computing pose a threat to connected and automated vehicle technologies? What steps and measures are needed to make a V2X ecosystem “quantum-safe?” What standardization is needed to ensure that quantum technologies do not pose an unacceptable risk from an automotive cybersecurity perspective?
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити розширені добірки на тему "Automated software design" для конкретних типів джерел:
Статті в журналах Дисертації Книги
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії