120 search results - page 8 / 24 » icse 2003 |
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
This paper describes existing practices in the supervision and assessment of projects undertaken by part-time, postgraduate students in Software Engineering. It considers this asp...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Deriving requirements and architecture in concert implies the joint elicitation and specification of the problem and the structure of the solution. In this paper we argue that suc...
113
click to vote
ICSE
2003
IEEE-ACM
15 years 2 months ago
2003
IEEE-ACM
Architectural considerations play a key role in the success of any software-based development project. Architecture evaluation is an early risk reduction method for identifying ri...
ICSE
2003
IEEE-ACM
15 years 2 months ago
2003
IEEE-ACM
There is wide agreement that architecture plays a prominent role in large, complex software systems. Selection of an appropriate architecture – one that matches the system requi...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...