681 search results - page 24 / 137 » An Assembly Process Model for Method Engineering |
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
ICSM
2005
IEEE
15 years 3 months ago
2005
IEEE
In the context of software maintenance, legacy software systems are continuously re-engineered in order to correct errors, provide new functionality, or port them into modern plat...
CAD
2000
Springer
14 years 9 months ago
2000
Springer
This paper describes our initial efforts to deploy a digital library to support computer-aided collaborative design. At present, this experimental testbed, The Engineering Design ...
ML
2008
ACM
14 years 9 months ago
2008
ACM
In this paper, we pose a novel research problem for machine learning that involves constructing a process model from continuous data. We claim that casting learned knowledge in ter...
APSEC
2004
IEEE
15 years 1 months ago
2004
IEEE
Software engineering community has proposed several methods to evaluate software architectures with respect to desired quality attributes such as maintainability, performance, and...