1613 search results - page 227 / 323 » Model-Driven Constraint Engineering |
161
click to vote
ICSM
2005
IEEE
16 years 9 days ago
2005
IEEE
Software testing is a critical part of software development. Test suite sizes may grow significantly with subsequent modifications to the software over time. Due to time and res...
193
click to vote
ISPW
2005
IEEE
16 years 9 days ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
191
click to vote
KBSE
2005
IEEE
16 years 9 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
233
click to vote
ISPD
2005
ACM
16 years 8 days ago
2005
ACM
We streamline and extend APlace, the general analytic placement engine based on ideas of Naylor et al. [7] and described in [3, 4, 5]. Previous work explored the adaptability of A...
143
click to vote
AOSD
2004
ACM
16 years 4 days ago
2004
ACM
It is generally accepted that early determination of the stakeholder requirements assists in the development of systems that better meet the needs of those stakeholders. General s...