1246 search results - page 18 / 250 » Tool Support for Helping the Use of Frameworks |
ECEASST
2006
13 years 7 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
WCRE
1999
IEEE
13 years 11 months ago
1999
IEEE
Several techniques have been suggested for supporting reverse engineering and design recovery activities. While many of these techniques have been cataloged in various collections...
CRIWG
2003
13 years 9 months ago
2003
The members of a work group need to apply a common strategy to collaboratively solve a problem. A good strategy will mainly depend on the collaboration scenario, participants’ ba...
ECLIPSE
2004
ACM
14 years 29 days ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
OHS
2001
Springer
13 years 12 months ago
2001
Springer
Software engineers face a difficult task in managing the many different types of relationships that exist between the documents of a software development project. We refer to this...