Searching for "Formal Methods and Prototyping." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Escola de Engenharia
- …-on presentation of the kernel prototyping environment. A motivation for the combined use of formal methods…
- Add To MetaCart
-
Specifying And Prototyping Dynamic Human-Computer Interfaces For Stochastic Applications
- … simulations from temporal logic specifications of interactive systems. Keywords: formal methods; prototyping…
- Cited by 3 (3 self) – Add To MetaCart
-
Www. Www.swebok Swebok.org .org 49
- … Tools and Methods v 0.7 Software Development Methods Software Tools Heuristic Methods Formal Methods…
- Add To MetaCart
-
The Emerging Consensus on the The Emerging Consensus on the Software Engineering Body of Software Engineering Body of Knowledge Knowledge
- … Software Quality Concepts Definition & Planning for Quality Heuristic Methods Formal Methods Prototyping…
- Add To MetaCart
-
The Guide to the Software Engineering Body of Knowledge
- … Development methods Heuristic methods Formal methods Prototyping methods Software tools Development…
- Cited by 24 (5 self) – Add To MetaCart
-
Systems Prototyping in CAMILA
- …-on presentation of the kernel prototyping environment. ffl A motivation for the combined use of formal methods…
- Cited by 2 (2 self) – Add To MetaCart
-
Software Engineering Processes under the Influence of Aesthetics and Art Projects
- … engineering management tool etc. Methods can be like Heuristic methods, formal methods, or prototyping methods…
- Add To MetaCart
-
A Probabilistic Logic For The Development Of Safety-Critical, Interactive Systems
- …; interface design; formal methods; prototyping; Risklog. 1 Introduction The Commission of the European…
- Cited by 8 (4 self) – Add To MetaCart
-
Guide to the Software Engineering Body of Knowledge: A Straw Man Version
- … well with ISO/IEC 12207 is: Software Development Methods - Object Oriented - Formal Methods…
- Add To MetaCart
Showing 1 through 9.
