Borrow it
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

Work
Publication
Extent
305 pages
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.]
Isbn
9780387183411
Instance
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

Subject

Genre

Member of

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

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...