2514 search results - page 96 / 503 » The use of industrial-strength formal methods |
172
click to vote
IJIT
2004
15 years 7 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
160
click to vote
SAFECOMP
2007
Springer
16 years 12 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
156
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
155
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
166
click to vote
B
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...