3514 search results - page 145 / 703 » Evolving Specification Engineering |
ICSE
2003
IEEE-ACM
14 years 8 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...
CSEE
2003
Springer
14 years 1 months ago
2003
Springer
This paper describes our experience of teaching a Software Engineering course based on the use of group work to teaching and practise theoretical concepts. Our work has three main...
HOTDEP
2008
13 years 10 months ago
2008
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
KBSE
1999
IEEE
14 years 12 days ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
ISPASS
2005
IEEE
14 years 1 months ago
2005
IEEE
Performance evaluation using only a subset of programs from a benchmark suite is commonplace in computer architecture research. This is especially true during early design space e...