000 03709nam a22005415i 4500
001 978-3-540-47885-0
003 DE-He213
005 20160624102027.0
007 cr nn 008mamaa
008 121227s1987 gw | s |||| 0|eng d
020 _a9783540478850
_9978-3-540-47885-0
024 7 _a10.1007/3-540-18341-8
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aSystem Development and Ada
_h[electronic resource] :
_bCRAI Workshop on Software Factories and Ada Capri, Italy, May 26–30, 1986 Proceedings /
_cedited by A. Nico Habermann, Ugo Montanari.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1987.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1987.
300 _aVIII, 308 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v275
505 0 _aDesign 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.
520 _aThe 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 _aComputer science.
650 0 _aChemistry
_xMathematics.
650 0 _aSoftware engineering.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aProgramming Techniques.
650 2 4 _aMath. Applications in Chemistry.
650 2 4 _aNumerical and Computational Methods in Engineering.
650 2 4 _aArtificial Intelligence (incl. Robotics).
700 1 _aHabermann, A. Nico.
_eeditor.
700 1 _aMontanari, Ugo.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540183419
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v275
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-18341-8
942 _2EBK6222
_cEBK
999 _c35516
_d35516