Увійти

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

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

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Automated software design.

Автор: Grafiati

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

Оновлено: 31 травня 2022

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

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

Ознайомтеся з топ-50 книг для дослідження на тему "Automated software design".

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

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

Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.

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 та ін.

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.

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

14

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

Повний текст джерела

Анотація:

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 та ін.

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.

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

18

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

Знайти повний текст джерела

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

19

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

Знайти повний текст джерела

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

20

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

Знайти повний текст джерела

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

21

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

Знайти повний текст джерела

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

22

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

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

24

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

Знайти повний текст джерела

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

25

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

Знайти повний текст джерела

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

26

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

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

30

Jan, Holub, and Žd̕á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.

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

32

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

Повний текст джерела

Анотація:

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 та ін.

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.

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

35

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

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

40

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

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

44

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

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

49

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

Знайти повний текст джерела

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

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.

Знайти повний текст джерела

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

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!