System development and Ada : CRAI Workshop on software factories and Ada, Capri, Italy, May 26 30, 1986 : proceedings
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...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
275 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • System development and ADA, proceedings, CRAI Workshop on software factories and ADA, Capri, Italy, May 26-30, 1986 ; ed. A.N. Habermann, U. Montanari, A. Nico Habermann, Ugo Montanari, Berlin, Springer, 1987, 1 vol. (305 p.), Lecture notes in computer science, 3-540-18341-8 • System Development and Ada, Texte imprimé, 9783662210796 |
| LEADER | 04286nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 969227 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155170066 | ||
| 020 | |a 9783540478850 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Workshop on software factories and Ada |d (1986 |c :Capri). | |
| 245 | 1 | 0 | |a System development and Ada : |b CRAI Workshop on software factories and Ada, Capri, Italy, May 26 30, 1986 : proceedings |c [edited by] A. N. Habermann, U. Montanari. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 275 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 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 -- 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 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 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Systèmes, Conception de | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Chimiométrie | ||
| 650 | |a Intelligence computationnelle | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Montanari, Ugo, |d 1943- |4 pbd | |
| 700 | 1 | |a Habermann, Arie Nicolaas, |d 1932- |4 pbd | |
| 776 | 0 | |0 020414404 |t System development and ADA |o proceedings |o CRAI Workshop on software factories and ADA, Capri, Italy, May 26-30, 1986 ; ed. A.N. Habermann, U. Montanari |f A. Nico Habermann, Ugo Montanari |c Berlin |n Springer |d 1987 |p 1 vol. (305 p.) |s Lecture notes in computer science |z 3-540-18341-8 | |
| 776 | 0 | |t System Development and Ada |b Texte imprimé |z 9783662210796 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-18341-8 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-JDMB1W43-4 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750676272 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-18341-8 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754024636 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-18341-8 |z Accès INSA CVL | |
| 997 | |0 969227 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||