5961 search results - page 101 / 1193 » Design Science and Software Engineering |
IV
2007
IEEE
14 years 3 months ago
2007
IEEE
Do software engineering students need interdisciplinary skills? Do students learn different things from an interdisciplinary project work than from software development projects? ...
HASE
1998
IEEE
14 years 1 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
TPHOL
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
SIGCSE
2009
ACM
14 years 9 months ago
2009
ACM
Many academic and industry professionals have called for more testing in computer science curricula. Test-driven development (TDD) has been proposed as a solution to improve testi...
WADT
1999
Springer
14 years 1 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...