6800 search results - page 653 / 1360 » Testing with Functions as Specifications |
197
Voted
CASES
2000
ACM
15 years 11 months ago
2000
ACM
In this paper, we describe a software architecture supporting code generation from within Ptolemy II. Ptolemy II is a componentbased design tool intended for embedded and real-tim...
181
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper focuses on the provision of a nonrepudiation service for CORBA. The current OMG specification of a CORBA non-repudiation service forces the programmer to augment the ap...
201
click to vote
ISSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The Motorola System on Chip Design Technologies (SoCDT) team aims at providing a system design environment for its customers. The Toulouse branch concentrates on design efforts in...
199
Voted
ER
1998
Springer
15 years 11 months ago
1998
Springer
Abstract: Currently, there are strong efforts to integrate spatial and temporal database technology into spatio-temporal database systems. This paper views the topic from a rather ...
179
click to vote
ICSM
1997
IEEE
15 years 11 months ago
1997
IEEE
Conventional software engineering tends to focus on a small part of the software life cycle: the design and implementation of a product. The bulk of the lifetime cost is in the ma...