120 search results - page 14 / 24 » icse 2003 |
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
The goal of this workshop is to provide an opportunity for researchers and industry practitioners to explore both the stateof-the art and the state-of-the-practice in global softw...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Benchmarks have been used in computer science to compare the performance of computer systems, information retrieval algorithms, databases, and many other technologies. The creatio...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Requirements Engineering (RE) deals with the early phases of software engineering namely requirement elicitation, modeling, specification and validation. Architecture of a softwar...