15401 search results - page 2716 / 3081 » Software in Automotive Systems |
186
click to vote
RE
2009
Springer
16 years 2 months ago
2009
Springer
![[vem: xi: ] - A Methodology for Process Based Requirements Engineering](http://sciweaver.org/files/imagecache/thumbnail/default/content.jpg "[vem: xi: ] - A Methodology for Process Based Requirements Engineering")
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...
197
click to vote
SPIN
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
199
click to vote
ISSTA
2009
ACM
16 years 2 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
182
click to vote
MSR
2009
ACM
16 years 2 months ago
2009
ACM
We are now witnessing the rapid growth of decentralized source code management (DSCM) systems, in which every developer has her own repository. DSCMs facilitate a style of collabo...
197
click to vote
UIST
2009
ACM
16 years 2 months ago
2009
ACM
The Web is a dynamic information environment. Web content changes regularly and people revisit Web pages frequently. But the tools used to access the Web, including browsers and s...