13137 search results - page 219 / 2628 » A Science of Software Design |
167
click to vote
SPIN
1999
Springer
15 years 8 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
124
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software i...
154
Voted
FDG
2009
ACM
15 years 11 months ago
2009
ACM
Engineering education has evolved from providing students solely with technical skills to providing them with courses that provide students with the non-technical “soft skillsâ€...
128
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
Over the past decade software architecture has received increasing attention as an important subfield of software engineering. During that time there has been considerable progres...
118
Voted
ERSHOV
2001
Springer
15 years 9 months ago
2001
Springer
We argue that there is a gap between software engineering cultivated in the universities and industrial software development. We believe that it is possible to get academia and ind...