DAC
1996
ACM
13 years 8 months ago
1996
ACM
Concurrent verification of hardware and software as part of the development process can shorten the time to market of complex systems. The objectives of the Virtual CPU approach i...
FM
1998
Springer
13 years 8 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...
ECOOPW
1998
Springer
13 years 8 months ago
1998
Springer
This position paper takes as outset experience obtained during development of an object-oriented prototype for a global customer service system. The project involved a large shipp...
FASE
1999
Springer
13 years 8 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
EMISA
1999
Springer
13 years 8 months ago
1999
Springer
Abstract. The purpose of a computerized information system is to improve dataintensive business processes in an organization. The development of such systems itself is data-intensi...
DEXAW
1999
IEEE
13 years 8 months ago
1999
IEEE
The process of managing inconsistency is a fundamental activity that permeates a large part of the systems development process. Failure to identify inconsistencies may lead to maj...
HT
1999
ACM
13 years 8 months ago
1999
ACM
If we are to improve our ability to reliably and consistently create high quality hypermedia applications then we need to improve our understanding of the development process and ...
CSMR
2000
IEEE
13 years 9 months ago
2000
IEEE
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
ASWEC
2000
IEEE
13 years 9 months ago
2000
IEEE
Industrial software projects are not based on a top-down development process relying on refinement but use a more iterative and incremental approach with respect to changing requ...
PROFES
2001
Springer
13 years 9 months ago
2001
Springer
This paper presents a family-based software development process for aero-engine control software. The process uses a “family capability” derived from family analysis of the emb...