| Record ID | marc_loc_updates/v39.i51.records.utf8:9771125:1941 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v39.i51.records.utf8:9771125:1941?format=raw |
LEADER: 01941cam a2200277 a 4500
001 87023397
003 DLC
005 20111219113530.0
008 870815s1987 gw a b 100 0 eng
010 $a 87023397
020 $a0387183418 (U.S. : pbk.)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.S88$bC73 1986
082 00 $a004.2/5$219
111 2 $aCRAI Workshop on Software Factories and Ada$d(1986 :$cCapri, Italy)
245 10 $aSystem development and Ada /$cCRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, proceedings ; A.N. Habermann, U. Montanari, eds.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$cc1987.
300 $a305 p. :$bill. ;$c25 cm.
440 0 $aLecture notes in computer science ;$v275
504 $aIncludes bibliographies.
505 0 $aDesign of the rational environment / James E. Archer, Jr. -- The PCTE initiative / Ferdinando Gallo -- Engineering VAX Ada for a multi-language programming environment / Charles Z. Mitchell -- The Ada environment--a personal view / Vic Stenning -- Knowledge-based software development from requirements to code / Stephen J. Westfold, Lawrence Z. Markosian, William A. Brew -- SMoLCS approach to the formal semantics of programming languages / Egidio Astesiano, Gianna Reggio -- Project graphs and Meta-programs / Dines Bjørner -- Software development based on formal methods / Cliff B. Jones -- Integration of program construction and verification / Bernd Krieg-Brückner -- Ada compiler validation / John B. Goodenough -- The Software Engineering Institute at Carnegie Mellon University / A. Nico Habermann -- Task sequencing language for specifying distributed Ada systems / David C. Luckham ... [et al.].
650 0 $aSystem design$xCongresses.
650 0 $aComputer software$xDevelopment$xCongresses.
650 0 $aAda (Computer program language)$xCongresses.
700 1 $aHabermann, A. Nico,$d1932-
700 1 $aMontanari, U.$q(Ugo)