10241 search results - page 89 / 2049 » Goal-Driven Software Development |
INFORMATICALT
2008
13 years 9 months ago
2008
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 ...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
IJET
2008
13 years 9 months ago
2008
Within the TENCompetence project we aim to develop and integrate models and tools into an open source infrastructure for the creation, storage and exchange of learning objects, sui...
CASCON
2007
13 years 10 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM