2249 search results - page 227 / 450 » ILP-based engineering change |
129
click to vote
FASE
2010
Springer
15 years 9 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
192
click to vote
ITP
2010
15 years 7 months ago
2010
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
145
click to vote
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
Service-oriented architecture (SOA) for distributed computing has become increasingly popular due to the great advantage that distributed applications can be rapidly synthesized w...
146
Voted
CSEE
2008
Springer
2008
Springer
Improving Knowledge Acquisition in Capstone Projects Using Learning Spaces for Experiential Learning
15 years 7 months ago
Students have to cope with new technologies, changing environments, and conflicting changes in capstone projects. They often lack practical experience, which might lead to failing...
169
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...