Searching for "Systematic Program Development." – sorted by Relevance.
32 documents found, showing 1 through 10.
Next 10 →
-
Paving the Roadmaps: Enabling and Integration Technologies
- … programming and systematic program development. These two areas have been prominent in Computational Logic…
- Cited by 7 (6 self) – Add To MetaCart
-
Logic Programming and Software Engineering - Implications for Software Design
- … perspective on programming patterns, systematic program development, design for provability, and the paradigm…
- Cited by 1 (1 self) – Add To MetaCart
-
Designing Prolog Programming Techniques
- … of knowledge necessary for the systematic development of correct Prolog programs. Such work is motivated…
- Cited by 12 (7 self) – Add To MetaCart
-
The Software Engineering Profile at Umeå University
- … recently redesigned to more deeply cover systematic program development (PM) and basic theoretical computer…
- Cited by 1 (1 self) – Add To MetaCart
-
Main Publications
- … [141] C. B. Jones. Systematic software development using VDM (second edition) teaching notes…
- Add To MetaCart
-
Larch: Languages and tools for formal specification
- … (particularly members of the Systematic Program DevelopmentGroup). They have encouraged our research…
- Cited by 277 (9 self) – Add To MetaCart
-
Recent books on Formal Methods (Bibliography)
- …: Systematic Program Development. AddisonWesley, Wokingham, England, 1990. [Dil90] Antoni Diller. Z…
- Add To MetaCart
-
Schema-Guided Synthesis of Constraint Logic Programs
- … space. Even tough this synthesis method provides a systematic program development, the resultant…
- Add To MetaCart
-
Formal program development in Extended ML for the working programmer
- …: The eventual practical feasibility of systematic program development by stepwise refinement hinges…
- Cited by 33 (10 self) – Add To MetaCart
-
Abductive Analysis of Modular Logic Programs
- … for the analysis and development of modular logic programs, as it provides a systematic way for automatically (and…
- Cited by 7 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
