Matches in SemOpenAlex for { <https://semopenalex.org/work/W1606989725> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W1606989725 abstract "Design of the rational environment.- The PCTE initiative: toward a european approach to software engineering.- Engineering VAX Ada for a multi-language programming environment.- The Ada environment - a personal view.- Knowledge-based software development from requirements to code.- The SMoLCS approach to the formal semantics of programming languages.- Project Graphs and meta-programs towards a theory of Software development.- Software development based on formal methods.- Integration of program construction and verification: the PROSPECTRA methodology.- Ada compiler validation: An example of software testing theory and practice.- The Software Engineering Institute at carnegie mellon university.- Task sequencing language for specifying distributed Ada systems." @default.
- W1606989725 created "2016-06-24" @default.
- W1606989725 creator A5061468940 @default.
- W1606989725 creator A5062138304 @default.
- W1606989725 creator A5071572446 @default.
- W1606989725 date "1987-12-01" @default.
- W1606989725 modified "2023-09-27" @default.
- W1606989725 title "System Development and Ada: Crai Workshop on Software Factories and Ada Capri, Italy, May 26-30, 1986 Proceedings" @default.
- W1606989725 hasPublicationYear "1987" @default.
- W1606989725 type Work @default.
- W1606989725 sameAs 1606989725 @default.
- W1606989725 citedByCount "0" @default.
- W1606989725 crossrefType "book" @default.
- W1606989725 hasAuthorship W1606989725A5061468940 @default.
- W1606989725 hasAuthorship W1606989725A5062138304 @default.
- W1606989725 hasAuthorship W1606989725A5071572446 @default.
- W1606989725 hasConcept C115903868 @default.
- W1606989725 hasConcept C169590947 @default.
- W1606989725 hasConcept C180152950 @default.
- W1606989725 hasConcept C186846655 @default.
- W1606989725 hasConcept C199360897 @default.
- W1606989725 hasConcept C2777904410 @default.
- W1606989725 hasConcept C41008148 @default.
- W1606989725 hasConcept C529173508 @default.
- W1606989725 hasConceptScore W1606989725C115903868 @default.
- W1606989725 hasConceptScore W1606989725C169590947 @default.
- W1606989725 hasConceptScore W1606989725C180152950 @default.
- W1606989725 hasConceptScore W1606989725C186846655 @default.
- W1606989725 hasConceptScore W1606989725C199360897 @default.
- W1606989725 hasConceptScore W1606989725C2777904410 @default.
- W1606989725 hasConceptScore W1606989725C41008148 @default.
- W1606989725 hasConceptScore W1606989725C529173508 @default.
- W1606989725 hasLocation W16069897251 @default.
- W1606989725 hasOpenAccess W1606989725 @default.
- W1606989725 hasPrimaryLocation W16069897251 @default.
- W1606989725 hasRelatedWork W1502798901 @default.
- W1606989725 hasRelatedWork W1506313417 @default.
- W1606989725 hasRelatedWork W1535255089 @default.
- W1606989725 hasRelatedWork W1579218076 @default.
- W1606989725 hasRelatedWork W1583624301 @default.
- W1606989725 hasRelatedWork W1593078723 @default.
- W1606989725 hasRelatedWork W1600679108 @default.
- W1606989725 hasRelatedWork W1626292348 @default.
- W1606989725 hasRelatedWork W1986877922 @default.
- W1606989725 hasRelatedWork W2102948628 @default.
- W1606989725 hasRelatedWork W2142134719 @default.
- W1606989725 hasRelatedWork W2166564555 @default.
- W1606989725 hasRelatedWork W2167224497 @default.
- W1606989725 hasRelatedWork W2361176363 @default.
- W1606989725 hasRelatedWork W2545346455 @default.
- W1606989725 hasRelatedWork W259158433 @default.
- W1606989725 hasRelatedWork W2602311773 @default.
- W1606989725 hasRelatedWork W2938751510 @default.
- W1606989725 hasRelatedWork W747134065 @default.
- W1606989725 hasRelatedWork W809459620 @default.
- W1606989725 isParatext "false" @default.
- W1606989725 isRetracted "false" @default.
- W1606989725 magId "1606989725" @default.
- W1606989725 workType "book" @default.