ISSRE
2003
IEEE
13 years 10 months ago
2003
IEEE
Test-driven development is a software development practice that has been used sporadically for decades. With this practice, test cases (preferably automated) are incrementally wri...
NIME
2004
Springer
13 years 10 months ago
2004
Springer
We will discuss the case study of application of the Virtual Musical Instrument and Sound Synthesis. Doing this application, the main subject is advanced Mapping Interface in orde...
FASE
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
EUSAI
2004
Springer
13 years 10 months ago
2004
Springer
Ambient intelligent applications require applications to recognise user activity calmly in the background, typically by instrumentation of environments. In contrast, we propose the...
CBSE
2004
Springer
13 years 10 months ago
2004
Springer
In this paper we report on a case study of correct automatic assembly of software components. We show the application of our tool (called Synthesis) for correct components assembly...
WOSP
2004
ACM
13 years 10 months ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
ACMICEC
2004
ACM
13 years 10 months ago
2004
ACM
Many companies have found out the hard way that successful ecommerce requires more than a flashy web presence. Existing business processes must be seamlessly integrated with the n...
RE
2005
Springer
13 years 10 months ago
2005
Springer
The use of viewpoints has long been proposed as a technique to structure evolving requirements models. In theory, viewpoints should provide better stakeholder traceability, and th...
IEAAIE
2005
Springer
13 years 10 months ago
2005
Springer
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...
GECCO
2005
Springer
13 years 10 months ago
2005
Springer
In order to maintain a reliable and economic electric power supply, the maintenance of power plants is becoming increasingly important. In this paper, a formulation that enables a...