1782 search results - page 213 / 357 » Tool Support for Proof Engineering |
161
click to vote
COMPSAC
2007
IEEE
16 years 24 days ago
2007
IEEE
Personnel risk is an issue which has not been researched well but plays an important role to determine whether a software project succeeds or fails. Most existing work focuses on ...
163
click to vote
EMSOFT
2007
Springer
2007
Springer
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
16 years 19 days ago
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
142
click to vote
APSEC
2006
IEEE
16 years 15 days ago
2006
IEEE
The Java Standard API has grown enormously since Java’s beginnings, now consisting of over 3,000 classes and 20,000 methods. The intent of this API is to provide high quality co...
144
click to vote
APSEC
2006
IEEE
16 years 15 days ago
2006
IEEE
Refactoring makes existing source code more understandable and reusable without changing observable behavior. Therefore, applying refactorings to existing source code and reversin...
147
click to vote
KBSE
2006
IEEE
16 years 14 days ago
2006
IEEE
Hierarchical diagrams are well-suited for visualizing the structure and decomposition of complex systems. However, the current tools poorly support modeling, visualization and nav...