979 search results - page 85 / 196 » Automated Environment Generation for Software Model Checking |
161
click to vote
CRIWG
2007
15 years 7 months ago
2007
Abstract. This paper presents Relations Graph – GR a methodology to automate the generation of coordination mechanisms in computational environments. GR explores encapsulation an...
157
click to vote
SIGSOFT
2001
ACM
16 years 6 months ago
2001
ACM
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...
147
click to vote
EUROMICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
163
Voted
ICSE
1997
IEEE-ACM
15 years 10 months ago
1997
IEEE-ACM
1 In this paper we characterize and model the cost of rework in a Component Factory (CF) organization. A CF is responsible for developing and packaging reusable software components...
162
Voted
ICSM
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a graph matching model for the software architecture recovery problem. Because of their expressiveness, the graphs have been widely used for representing both ...