216 search results - page 38 / 44 » Reusing Domains for the Construction of Reverse Engineering ... |
110
click to vote
ICFP
2006
ACM
15 years 9 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
92
Voted
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
Software developers writing new software have strong incentives to make their products compliant to standards such as corba, com, and JavaBeans. Standardscompliance facilitates in...
AIEDAM
2007
14 years 9 months ago
2007
Because of the increasing complexity of products and the design process, as well as the popularity of computer-aided documentation tools, the number of electronic and textual desi...
111
Voted
RE
2010
Springer
14 years 4 months ago
2010
Springer
The design of the variability of a software product line is crucial to its success and evolution. Meaningful variable features need to be elicited, analyzed, documented and validat...
ICCS
1997
Springer
15 years 1 months ago
1997
Springer
: The need for analysis and modeling of knowledge has been espoused by many researchers as a prerequisite to building knowledge based systems (KBS). This approach has done little t...