FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2076974317> ?p ?o ?g. }

• W2076974317 endingPage "354" @default.
• W2076974317 startingPage "344" @default.
• W2076974317 abstract "ENCOMPASS is an environment designed to support the incremental construction of Ada programs using executable specifications and formal techniques similar to the Vienna Development Method. ENCOMPASS supports the rigorous development of software: parts of a project may use completely formal methods, while other, less critical parts use less expensive techniques. ENCOMPASS provides automated support for all aspects of the development process including specification, prototyping, testing, formal verification, documentation, configuration control, and project management. In ENCOMPASS, software can be specified using PLEASE, an Ada-based executable specification language which can be automatically translated into Prolog. A prototype implementation of ENCOMPASS has been constructed. The authors give an overview of ENCOMPASS, describe the decisions made in the design of the prototype, and discuss the lessons learned in the process. >" @default.
• W2076974317 created "2016-06-24" @default.
• W2076974317 creator A5024075488 @default.
• W2076974317 creator A5065622216 @default.
• W2076974317 date "1988-04-01" @default.
• W2076974317 modified "2023-09-27" @default.
• W2076974317 title "An early report on encompass" @default.
• W2076974317 cites W100410338 @default.
• W2076974317 cites W1481200432 @default.
• W2076974317 cites W1499615805 @default.
• W2076974317 cites W150374354 @default.
• W2076974317 cites W1521505629 @default.
• W2076974317 cites W1530765221 @default.
• W2076974317 cites W1542049623 @default.
• W2076974317 cites W1573806080 @default.
• W2076974317 cites W1585400984 @default.
• W2076974317 cites W1586338668 @default.
• W2076974317 cites W1607905993 @default.
• W2076974317 cites W1610029862 @default.
• W2076974317 cites W1967805726 @default.
• W2076974317 cites W1969250424 @default.
• W2076974317 cites W1970945795 @default.
• W2076974317 cites W1974299393 @default.
• W2076974317 cites W1985562074 @default.
• W2076974317 cites W1986683298 @default.
• W2076974317 cites W1986949517 @default.
• W2076974317 cites W1989160441 @default.
• W2076974317 cites W2001847301 @default.
• W2076974317 cites W2002888300 @default.
• W2076974317 cites W2004446474 @default.
• W2076974317 cites W2005973420 @default.
• W2076974317 cites W2007059425 @default.
• W2076974317 cites W2009906188 @default.
• W2076974317 cites W2011779753 @default.
• W2076974317 cites W2012436850 @default.
• W2076974317 cites W2012637410 @default.
• W2076974317 cites W2013492611 @default.
• W2076974317 cites W2021790140 @default.
• W2076974317 cites W2025862760 @default.
• W2076974317 cites W2029406036 @default.
• W2076974317 cites W2034034435 @default.
• W2076974317 cites W2034589735 @default.
• W2076974317 cites W2037848873 @default.
• W2076974317 cites W2038754076 @default.
• W2076974317 cites W2051113166 @default.
• W2076974317 cites W2054198706 @default.
• W2076974317 cites W2055099198 @default.
• W2076974317 cites W2055465015 @default.
• W2076974317 cites W2057252114 @default.
• W2076974317 cites W2057602126 @default.
• W2076974317 cites W2060872161 @default.
• W2076974317 cites W2069084711 @default.
• W2076974317 cites W2074193056 @default.
• W2076974317 cites W2076506165 @default.
• W2076974317 cites W2077271799 @default.
• W2076974317 cites W2077720821 @default.
• W2076974317 cites W2079013580 @default.
• W2076974317 cites W2079783106 @default.
• W2076974317 cites W2081814494 @default.
• W2076974317 cites W2089158314 @default.
• W2076974317 cites W2090463680 @default.
• W2076974317 cites W2095491013 @default.
• W2076974317 cites W2105486835 @default.
• W2076974317 cites W2113623490 @default.
• W2076974317 cites W2120852971 @default.
• W2076974317 cites W2124212956 @default.
• W2076974317 cites W2126259958 @default.
• W2076974317 cites W2132302503 @default.
• W2076974317 cites W2133518331 @default.
• W2076974317 cites W2134338128 @default.
• W2076974317 cites W2136647296 @default.
• W2076974317 cites W2138281007 @default.
• W2076974317 cites W2138709157 @default.
• W2076974317 cites W2144192824 @default.
• W2076974317 cites W2144373616 @default.
• W2076974317 cites W2144967511 @default.
• W2076974317 cites W2147543351 @default.
• W2076974317 cites W2154069078 @default.
• W2076974317 cites W2165875645 @default.
• W2076974317 cites W2168468191 @default.
• W2076974317 cites W2339337913 @default.
• W2076974317 cites W2621937185 @default.
• W2076974317 cites W2913268470 @default.
• W2076974317 cites W3146075203 @default.
• W2076974317 cites W600833332 @default.
• W2076974317 cites W82270733 @default.
• W2076974317 doi "https://doi.org/10.5555/55823.55857" @default.
• W2076974317 hasPublicationYear "1988" @default.
• W2076974317 type Work @default.
• W2076974317 sameAs 2076974317 @default.
• W2076974317 citedByCount "7" @default.
• W2076974317 crossrefType "proceedings-article" @default.
• W2076974317 hasAuthorship W2076974317A5024075488 @default.
• W2076974317 hasAuthorship W2076974317A5065622216 @default.
• W2076974317 hasConcept C115903868 @default.
• W2076974317 hasConcept C116253237 @default.
• W2076974317 hasConcept C127413603 @default.
• W2076974317 hasConcept C160145156 @default.

• next