1782 search results - page 45 / 357 » Tool Support for Proof Engineering |
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Software engineering projects are inherently cooperative, requiring many software engineers to coordinate their efforts to produce a large software system. Integral to this effort...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
We present a Tool Suite which supports the (re-)construction of a behavioral model of a legacy component based on a learning approach by exploiting knowledge of known models of th...
AVI
2000
13 years 10 months ago
2000
To support users in querying geographic databases we have developed a system that lets people sketch what they are looking for. It closes the gap between user and information syst...
FMCO
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
ICSE
2000
IEEE-ACM
14 years 9 days ago
2000
IEEE-ACM
Software product lines are multiple systems that are developed synergistically in an attempt to exploit scope economies. They are a promising approach to more effectively developi...