3837 search results - page 57 / 768 » Concurrent Engineering support in Software Engineering |
132
click to vote
ISSTA
2007
ACM
15 years 4 months ago
2007
ACM
As concurrent and distributive applications are becoming more common and debugging such applications is very difficult, practical tools for automatic debugging of concurrent appl...
124
click to vote
WETICE
1998
IEEE
15 years 7 months ago
1998
IEEE
Requirements engineering (RE) is a necessary part of the software development process, as it helps customers and designers identify necessary system requirements. If these stakeho...
128
click to vote
AOSD
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we present a collection of well-known high-level concurrency patterns and mechanisms, coded in AspectJ. We discuss benefits of these implementations relative to pla...
114
click to vote
CAISE
2008
Springer
15 years 4 months ago
2008
Springer
Analogous to Computer-Aided Software Engineering (CASE), which aims to facilitate Software Engineering through specialized tools, ComputerAided Method Engineering (CAME) strives to...
105
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...