1481 search results - page 1 / 297 » Enriching the Software Development Process by Formal Methods |
FM
1998
Springer
13 years 9 months ago
1998
Springer
FM
1998
Springer
13 years 9 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
PROFES
2004
Springer
2004
Springer
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
13 years 10 months ago
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
13 years 3 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
QSIC
2003
IEEE
13 years 10 months ago
2003
IEEE
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...