1481 search results - page 27 / 297 » Enriching the Software Development Process by Formal Methods |
109
click to vote
CN
2002
15 years 3 months ago
2002
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
125
click to vote
UML
2001
Springer
15 years 7 months ago
2001
Springer
Abstract: A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming ...
142
click to vote
ICST
2009
IEEE
15 years 26 days ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
128
click to vote
FMCO
2006
Springer
15 years 6 months ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...
130
click to vote
SAFECOMP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...