Relevant bibliographies by topics / Automated software design / Books

Books on the topic 'Automated software design'

To see the other types of publications on this topic, follow the link: Automated software design.
Author: Grafiati
Published: 30 May 2022
Last updated: 31 May 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 books for your research on the topic 'Automated software design.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
11

Powell, Stephen. The quality review advisor: Towards an automated support tool for the conduct of the software design review mechanism and facilitator for the attainment of software quality. [s.l: The Author], 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
12

Bouajjani, Ahmed. Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings. Berlin, Heidelberg: Springer-Verlag Heidelberg, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
13

Sungdeok, Cha, ed. Automated technology for verification and analysis: 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings. Berlin: Springer, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
14

Kovalenko, Vladimir. Design of information systems. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/987869.

Full text
Abstract:
The tutorial discusses the design features of information systems (is) involved in the implementation of CALS technologies: MRP/MRPII/ERP systems, e-Commerce systems (B2B), supply chain management (SCM), customer relationship management (CRM), and decision support systems (OLAP). The issues of choosing the design technology, software tools for project development, building functional and information models in the environment of Business Studio, MS Visio, Elma, AllFusion Modeling Suite and Oracle Designer 10g, as well as the development of technical and operational documentation are highlighted. The characteristics of CASE technologies and their implementation in the Oracle Designer 10g environment are considered. A comparative analysis of the standards of the organization of the life cycle of creating and using IP, practical recommendations for the development of standard profiles, examples of the development of an IP project based on a cascading model of the life cycle, including using a process approach in the management and automation of processes. The models of the client — server architecture and the structure of cloud computing are considered. Modern approaches to the selection of ready-made is and their implementation in automated enterprises are studied in detail. Meets the requirements of the Federal state educational standards of higher education of the latest generation. It is intended for students (bachelors and specialists) and masters of higher educational institutions studying in the direction of "Applied Informatics". It is also recommended for teachers and specialists working in the field of information technology.
APA, Harvard, Vancouver, ISO, and other styles
15

Madhavan, Mukund, and SpringerLink (Online service), eds. Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
16

Dale, Miller, Sattler Uli, and SpringerLink (Online service), eds. Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
17

Workshop, on Agent-Mediated Electronic Commerce (8th 2006 Hakodate-shi Japan). Agent-mediated electronic commerce: Automated negotiation and strategy design for electronic markets ; AAMAS 2006 workshop, TADA/AMEC 2006, Hakodate, Japan, May 9, 2006 ; selected and revised papers. Berlin: Springer, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
18

Wang, Lingfeng. Modern Industrial Automation Software Design. New York: John Wiley & Sons, Ltd., 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
19

Setliff, Dorothy E. Automatic programming applied to VLSI CAD software: A case study. Boston: Kluwer Academic Publishers, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
20

Naono, Ken. Software Automatic Tuning: From Concepts to State-of-the-Art Results. New York, NY: Springer Science+Business Media LLC, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
21

Automata and languages: Theory and applications. London: Springer, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
22

Chen, Tan Kay, ed. Modern industrial automation software design: Principles and real-world applications. Hoboken, N.J: IEEE Press, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
23

Aceto, Luca. Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
24

Puppis, Gabriele. Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
25

Nick, Jennings, and Wooldridge Michael J. 1966-, eds. Multiagent systems for manufacturing control: A design methodology. Berlin: Springer, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
26

Proof in VDM: A practitioner's guide. London: Springer-Verlag, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
27

David, Hutchison. Implementation and Application of Automata: 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
28

R, Ridgely J., and Ringgenberg J. D, eds. Control software for mechanical systems: Object-oriented design in a real-time world. Upper Saddle River, N.J: Prentice Hall PTR, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
29

David, Hutchison. Implementation and Application of Automata: 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
30

Jan, Holub, and Žd̕árek Jan, eds. Implementation and application of automata: 12th international conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007 : revised selected papers. Berlin: Springer, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
31

Pascal, Caron, Champarnaud Jean-Marc, Maurel Denis, and SpringerLink (Online service), eds. Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
32

Varlamov, Oleg. Fundamentals of creating MIVAR expert systems. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1513119.

Full text
Abstract:
Methodological and applied issues of the basics of creating knowledge bases and expert systems of logical artificial intelligence are considered. The software package "MIV Expert Systems Designer" (KESMI) Wi!Mi RAZUMATOR" (version 2.1), which is a convenient tool for the development of intelligent information systems. Examples of creating mivar expert systems and several laboratory works are given. The reader, having studied this tutorial, will be able to independently create expert systems based on KESMI. The textbook in the field of training "Computer Science and Computer Engineering" is intended for students, bachelors, undergraduates, postgraduates studying artificial intelligence methods used in information processing and management systems, as well as for users and specialists who create mivar knowledge models, expert systems, automated control systems and decision support systems. Keywords: cybernetics, artificial intelligence, mivar, mivar networks, databases, data models, expert system, intelligent systems, multidimensional open epistemological active network, MOGAN, MIPRA, KESMI, Wi!Mi, Razumator, knowledge bases, knowledge graphs, knowledge networks, Big knowledge, products, logical inference, decision support systems, decision-making systems, autonomous robots, recommendation systems, universal knowledge tools, expert system designers, logical artificial intelligence.
APA, Harvard, Vancouver, ISO, and other styles
33

Domaratzki, Michael. Implementation and Application of Automata: 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
34

Makarius, Wenzel, Urban Christian, Nipkow Tobias, and SpringerLink (Online service), eds. Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
35

Melgar, Enrique Ramos. Arduino and Kinect Projects: Design, Build, Blow Their Minds. Berkeley, CA: Apress, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
36

FORMATS 2010 (2010 Klosterneuburg, Austria). Formal modeling and analysis of timed systems: 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings. Berlin: Springer, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
37

LPAR (Conference) (17th 2010 Yogyakarta, Indonesia). Logic for programming, artificial intelligence, and reasoning: 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings. Berlin: Springer, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
38

1967-, Schneider Klaus, and Brandt Jens 1978-, eds. Theorem proving in higher order logics: 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings. Berlin: Springer, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
39

Fahrenberg, Uli. Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
40

Speech recognition for the health professions: (using Dragon NaturallySpeaking). Upper Saddle River, N.J: Pearson/Prentice Hall, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
41

Dediu, Adrian-Horia. Language and Automata Theory and Applications: 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
42

Andrzej, Lingas, Karlsson R. 1950-, and Carlsson Svante, eds. Automata, languages, and programming: 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings. Berlin: Springer-Verlag, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
43

Carlos, Martín Vide, and SpringerLink (Online service), eds. Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
44

Mak, Ronald. The Martian Principles for Successful Enterprise Systems. New York: John Wiley & Sons, Ltd., 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
45

W, Vaandrager Frits, and SpringerLink (Online service), eds. Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
46

TPHOLs '97 (1997 Murray Hill, N.J.). Theorem proving in higher order logics: 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings. Berlin: Springer, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
47

Dejan, Ničković, and SpringerLink (Online service), eds. Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
48

Software design for automated assembly of truss structures. [Washington, DC]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
49

Software Design, Automated Testing, and Maintenance: A Practical Approach. Intl Thomson Computer Pr (Sd), 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
50

B, Stear Edwin, Shepherd John T, and Advisory Group for Aerospace Research and Development. Guidance and Control Panel. Working Group 10., eds. Automated software generation approaches for the design and development of guidance and control systems software. Neuilly sur Seine: Agard, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Automated software design' for other source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography