Sciweavers

1906 search results - page 12 / 382
» Controls in Flexible Software Development
Sort
View
FM
1998
Springer
153views Formal Methods» more  FM 1998»
13 years 11 months ago
VSE: Controlling the Complexity in Formal Software Developments
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...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...
INFORMATICALT
2008
100views more  INFORMATICALT 2008»
13 years 7 months ago
A Framework and Tool-Support for Reengineering Software Development Methods
Abstract. The purpose of the research described in this paper is to propose a framework and supporting tools that will help software companies to establish formalised methods that ...
Marko Bajec, Damjan Vavpotic
JDI
2008
62views more  JDI 2008»
13 years 7 months ago
Development of NEMA-based Software for Gamma Camera Quality Control
Andrew Rova, Anna Celler, Ghassan Hamarneh