System Development and Ada [electronic resource] : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26-30, 1986 Proceedings / edited by A. Nico Habermann, Ugo Montanari.
The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. The subject of the book is software development environments. Software development is treated from three viewpoints: methodologies, language issues a...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer-Verlag,
1987.
|
| Series: | Lecture notes in computer science ;
275. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | b8434980 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 100729s1987 gw ob 100 0 eng d | ||
| 005 | 20240418144336.2 | ||
| 020 | |a 9783540478850 |q (electronic bk.) | ||
| 020 | |a 354047885X |q (electronic bk.) | ||
| 020 | |z 9783540183419 | ||
| 020 | |z 354047885X | ||
| 035 | |a (OCoLC)spr827358159 | ||
| 035 | |a (OCoLC)827358159 | ||
| 037 | |a spr10.1007/3-540-18341-8 | ||
| 040 | |a KIJ |b eng |e pn |c KIJ |d OCLCO |d GW5XE |d OCLCF |d ITD |d OCLCQ | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA76.9.S88 |b W66 1986 | |
| 111 | 2 | |a Workshop on Software Factories and Ada |d (1986 : |c Capri, Italy) | |
| 245 | 1 | 0 | |a System Development and Ada |h [electronic resource] : |b CRAI Workshop on Software Factories and Ada Capri, Italy, May 26-30, 1986 Proceedings / |c edited by A. Nico Habermann, Ugo Montanari. |
| 260 | |a Berlin, Heidelberg : |b Springer-Verlag, |c 1987. | ||
| 300 | |a 1 online resource : |b volumes: digital. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Lecture Notes in Computer Science, |x 0302-9743 ; |v 275 | |
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a Design of the Rational Environment -- The PCTE Initiative: Toward a European Approach to Software Engineering -- Engineering VAX Ada for a Multi-Language Programming Environment -- The Ada Environment -- A Personal View -- Knowledge-Based Software Development from Requirements to Code -- The SMoLCS Approach to the Formal Semantics of Programming Languages -- A Tutorial Introduction -- Project Graphs and Meta-Programs. Towards a Theory of Software Development -- Software Development Based on Formal Methods -- Integration of Program Construction and Verification: The PROSPECTRA Methodology -- Ada Compiler Validation: An Example of Software Testing Theory and Practice -- The Software Engineering Institute at Carnegie-Mellon University -- Task Sequencing Language for Specifying Distributed Ada Systems. | |
| 520 | |a The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. The subject of the book is software development environments. Software development is treated from three viewpoints: methodologies, language issues and mechanisms. Of particular interest are the discussions of automation of the development process and the formalization of software development specifications. Several new methodologies are described, many of which are available on the commercial market. New is in particular the formalization of the design and development process. Interesting ideas are presented on planning the design process and on supporting project management by formal tools. The reader will find a variety of interesting methodologies and mechanisms that are operational. The book is suitable for readers interested in knowing in which direction programming environment research is moving. | ||
| 650 | 0 | |a Computer science. |0 http://id.loc.gov/authorities/subjects/sh89003285 | |
| 650 | 0 | |a Chemistry |x Mathematics. |0 http://id.loc.gov/authorities/subjects/sh2005000963 | |
| 650 | 0 | |a Software engineering. |0 http://id.loc.gov/authorities/subjects/sh87007398 | |
| 650 | 0 | |a Artificial intelligence. |0 http://id.loc.gov/authorities/subjects/sh85008180 | |
| 650 | 7 | |a Artificial intelligence. |2 fast |0 (OCoLC)fst00817247. | |
| 650 | 7 | |a Chemistry |x Mathematics. |2 fast |0 (OCoLC)fst00853398. | |
| 650 | 7 | |a Computer science. |2 fast |0 (OCoLC)fst00872451. | |
| 650 | 7 | |a Software engineering. |2 fast |0 (OCoLC)fst01124185. | |
| 700 | 1 | |a Habermann, A. Nico, |d 1932-1993. |0 id.loc.gov/authorities/names/n82151090 |9 6851d68e-d33f-42bd-b1bc-5a46e3586426 |0 http://id.loc.gov/authorities/names/n82151090 |1 http://isni.org/isni/0000000109477911 | |
| 700 | 1 | |a Montanari, Ugo. |0 http://id.loc.gov/authorities/names/n82090787 |1 http://isni.org/isni/0000000364768847 | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/3-540-18341-8 |z Full Text (via Springer) |
| 830 | 0 | |a Lecture notes in computer science ; |v 275. |0 http://id.loc.gov/authorities/names/n42015162 | |
| 907 | |a .b84349803 |b 08-19-20 |c 10-07-15 | ||
| 915 | |a M | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 998 | |a web |b 05-01-17 |c f |d b |e - |f eng |g gw |h 0 |i 1 | ||
| 907 | |a .b84349803 |b 05-09-17 |c 10-07-15 | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Book Archive - Springer Computer Science | ||
| 956 | |a Springer e-books: Archive | ||
| 999 | f | f | |i f1319317-bf1a-5144-bd78-1ec25423fa49 |s adaf3a12-f2a4-5374-9f18-10ccd12c144d |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.9.S88 W66 1986 |h Library of Congress classification |i Ebooks, Prospector |n 1 |