Searching for "Formal Methods and Software Engineering" – sorted by Relevance.
133 documents found, showing 1 through 10.
Next 10 →
-
The Role of Formal Methods in Software Engineering
- …The Role of Formal Methods in Software Engineering Education and Industry Colin J Burgess…
- Add To MetaCart
-
Indirect Use of Formal Methods in Software Engineering
- …Indirect Use of Formal Methods in Software Engineering Position Statement Heinrich Hussmann…
- Cited by 2 (0 self) – Add To MetaCart
-
Formal Methods in Agent-Oriented Agent Oriented
- …Formal Methods in Agent-Oriented Agent Oriented Software Engineering 10/18/01 Computer Science…
- Add To MetaCart
-
Debugging VHDL Designs using Model-Based Reasoning
- … Abstract The application of formal methods in software engineering and hardware design has become…
- Cited by 5 (3 self) – Add To MetaCart
-
Refining Iterative Programs in the B Method: a Case Study
- … Laurence.Pierre@(email omitted); 1 Introduction The necessity of using formal methods in software…
- Add To MetaCart
-
The AFIT Wide Spectrum Object Modeling Environment: An Awsome Beginning
- …, along with current and future tools and applications. Key Words: Formal Methods, Software Engineering…
- Cited by 3 (0 self) – Add To MetaCart
-
Constraint Diagrams: Visualizing Invariants in Object-Oriented Models
- …) characterizes the problem as follows: "Mathematical methods offered to the working software engineer…
- Add To MetaCart
-
The formal method known as B and a sketch for its implementation
- … and the relevance of formal methods to software engineering in particular. Formal (first-order) logic is also…
- Cited by 2 (2 self) – Add To MetaCart
-
Quartz: An Integrated Formal Development Method for Real-Time Software
- ….cs.uq.edu.au in the directory /pub/SVRC/techreports. Quartz: An Integrated Formal Development Method for Real-Time Software C…
- Cited by 6 (3 self) – Add To MetaCart
-
Teaching formal methods: Lessons to be learned
- … on the application of formal methods. Our goal is to produce software engineers who will go out into industry…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
