111 search results - page 13 / 23 » Automatic Ada Code Generation Using a Model-Driven Engineeri... |
IWPC
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper proposes an approach and a process to recover traceability links between source code and free text documents in software system developed with extensive use of COTS, mi...
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
114
click to vote
CSMR
2002
IEEE
15 years 4 months ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...
107
click to vote
EHCI
1998
15 years 1 months ago
1998
: Task models bridge the gap between HCI and Software Engineering. They are useful both for interface design and for generating user interface code and user documentation. These be...
123
click to vote
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...