2748 search results - page 192 / 550 » Generating Object-Z Specifications from Use Cases |
125
Voted
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
91
Voted
EATIS
2007
ACM
15 years 4 months ago
2007
ACM
MDIRS is methodology to define the actors and the steps to build efficiently information retrieval (IR) System. MDRIS main mission is to analyze, develop and evaluate mechanisms s...
110
click to vote
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper discusses aspects of the redocumentation of legacy systems and proposes a model oriented approach to generating documentation, which is to produce models from existing ...
103
click to vote
ACE
2004
15 years 2 months ago
2004
In this paper we discuss using a case study to demonstrate the software engineering process from requirements, specification, preliminary user manual, prototyping, design, impleme...
ICDCS
1993
IEEE
15 years 4 months ago
1993
IEEE
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...