1205 search results - page 104 / 241 » Program Extraction from Large Proof Developments |
100
click to vote
UM
2001
Springer
15 years 6 months ago
2001
Springer
Browsing- and querying-oriented schemes have long served as the principal techniques for software developers to locate software components from a component repository for reuse. Un...
129
click to vote
VL
2008
IEEE
15 years 8 months ago
2008
IEEE
An important part of many programming tasks is the use of libraries and other forms of Application Programming Interfaces (APIs). Programming via web services using a Service-Orie...
155
click to vote
DOCENG
2008
ACM
15 years 3 months ago
2008
ACM
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...
115
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
81
Voted
WCRE
2000
IEEE
15 years 6 months ago
2000
IEEE
In the context of the Bauhaus project, reengineering environments to support program understanding of legacy code are being developed. Bauhaus defines two formats to represent in...