Coverart for item
The Resource System development and Ada, Workshop on Software Factories and Ada, Capri, Italy, May 1986, proceedings ; A.N. Habermann, U. Montanari, eds

System development and Ada, Workshop on Software Factories and Ada, Capri, Italy, May 1986, proceedings ; A.N. Habermann, U. Montanari, eds

Label
System development and Ada
Title
System development and Ada
Statement of responsibility
Workshop on Software Factories and Ada, Capri, Italy, May 1986, proceedings ; A.N. Habermann, U. Montanari, eds
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Index
no index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1986
http://bibfra.me/vocab/lite/meetingName
CRAI Workshop on Software Factories and Ada
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1932-
http://library.link/vocab/relatedWorkOrContributorName
  • Habermann, A. Nico
  • Montanari, U.
Series statement
Lecture notes in computer science
Series volume
275
http://library.link/vocab/subjectName
  • System design
  • Computer software
  • Ada (Computer program language)
Label
System development and Ada, Workshop on Software Factories and Ada, Capri, Italy, May 1986, proceedings ; A.N. Habermann, U. Montanari, eds
Instantiates
Publication
Bibliography note
Includes bibliographies
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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.]
Control code
16646769
Dimensions
25 cm
Extent
305 pages
Isbn
9780387183411
Isbn Type
(U.S.)
Lccn
87023397
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
(WaOLN)1031303
Label
System development and Ada, Workshop on Software Factories and Ada, Capri, Italy, May 1986, proceedings ; A.N. Habermann, U. Montanari, eds
Publication
Bibliography note
Includes bibliographies
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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.]
Control code
16646769
Dimensions
25 cm
Extent
305 pages
Isbn
9780387183411
Isbn Type
(U.S.)
Lccn
87023397
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
(WaOLN)1031303

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...