Sciweavers

2436 search results - page 241 / 488
» An Experiment in the Design of Software Agents
Sort
View
AGILEDC
2007
IEEE
16 years 1 months ago
Performance Testing on an Agile Project
This experience report is about a software process, designed with performance testing in mind, was used to create a mission critical integration layer. This report focuses on how ...
Jamie Dobson
RE
2002
Springer
15 years 6 months ago
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
Rik Eshuis, David N. Jansen, Roel Wieringa
DAC
1998
ACM
16 years 7 months ago
A Case Study in Embedded System Design: An Engine Control Unit
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manua...
Alberto L. Sangiovanni-Vincentelli, Antonino Damia...
SAC
2008
ACM
15 years 6 months ago
UML-based design test generation
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
Waldemar Pires, João Brunet, Franklin Ramal...
CODES
2000
IEEE
15 years 10 months ago
On the roles of functions and objects in system specification
We present an analysis of the benefits and drawbacks of function and object based models in system specification. Functional models should be used for functional design space expl...
Axel Jantsch, Ingo Sander