15777 search results - page 434 / 3156 » Engineering in Software |
213
click to vote
ICSE
2000
IEEE-ACM
15 years 11 months ago
2000
IEEE-ACM
The term distributed computing conjures the image of a fixed network structure whose nodes support the execution of processes that communicate with each other via messages traveli...
171
click to vote
SIGADA
2005
Springer
16 years 24 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
165
click to vote
CSEE
2003
Springer
16 years 16 days ago
2003
Springer
In today’s software industry a software engineer is not only expected to successfully cope with technical challenges, but also to deal with non-technical issues arising from diï...
211
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We have developed software tools that aim to support the cooperative software engineering tasks and promote an awareness of social dependencies that is essential to successful coo...
180
click to vote
RE
2006
Springer
15 years 7 months ago
2006
Springer
We briefly review the history and key ideas in Goal-Oriented Requirements Engineering research. We then sketch two applications of these ideas. The first involves establishing an ...