22698 search results - page 177 / 4540 » Modeling in Software Engineering |
155
Voted
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
152
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
124
Voted
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
104
Voted
ICSE
1993
IEEE-ACM
15 years 7 months ago
1993
IEEE-ACM
Wepresent a model based onan expert-systemapproach for the scavenging of reusable componentsfrom exis:ing software systems. We also describe a toolset called Code Miner that imple...
118
click to vote
PASTE
2005
ACM
15 years 9 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...