Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001571504/catalog> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- catalog contributor b2240445.
- catalog contributor b2240446.
- catalog contributor b2240447.
- catalog created "c1987.".
- catalog date "1987".
- catalog date "c1987.".
- catalog dateCopyrighted "c1987.".
- catalog 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.].".
- catalog description "Includes bibliographies.".
- catalog extent "305 p. :".
- catalog hasFormat "System development and Ada.".
- catalog identifier "0387183418 (U.S. : pbk.)".
- catalog isFormatOf "System development and Ada.".
- catalog isPartOf "Lecture notes in computer science ; 275".
- catalog issued "1987".
- catalog issued "c1987.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "System development and Ada.".
- catalog subject "004.2/5 19".
- catalog subject "Ada (Computer program language) Congresses.".
- catalog subject "Computer software Development Congresses.".
- catalog subject "QA76.9.S88 C73 1986".
- catalog subject "System design Congresses.".
- catalog 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.].".
- catalog 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.".
- catalog type "Conference proceedings. fast".
- catalog type "text".