Matches in Library of Congress for { <http://lccn.loc.gov/87023397> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 87023397 contributor B5405538.
- 87023397 contributor B5405539.
- 87023397 created "c1987.".
- 87023397 date "1987".
- 87023397 date "c1987.".
- 87023397 dateCopyrighted "c1987.".
- 87023397 description "Design 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.].".
- 87023397 description "Includes bibliographies.".
- 87023397 extent "305 p. :".
- 87023397 identifier "0387183418 (U.S. : pbk.)".
- 87023397 isPartOf "Lecture notes in computer science ; 275".
- 87023397 issued "1987".
- 87023397 issued "c1987.".
- 87023397 language "eng".
- 87023397 publisher "Berlin ; New York : Springer-Verlag,".
- 87023397 subject "004.2/5 19".
- 87023397 subject "Ada (Computer program language) Congresses.".
- 87023397 subject "Computer software Development Congresses.".
- 87023397 subject "QA76.9.S88 C73 1986".
- 87023397 subject "System design Congresses.".
- 87023397 tableOfContents "Design 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.].".
- 87023397 title "System development and Ada / CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, proceedings ; A.N. Habermann, U. Montanari, eds.".
- 87023397 type "text".