1005 search results - page 2 / 201 » Formal Software Development in MAYA |
SEKE
1994
Springer
13 years 9 months ago
1994
Springer
FLAIRS
2000
13 years 7 months ago
2000
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
VSTTE
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
ICFEM
2004
Springer
13 years 11 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
HICSS
2006
IEEE
13 years 11 months ago
2006
IEEE
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...