585 search results - page 35 / 117 » Structured Formal Development in Isabelle |
107
click to vote
ICDS
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper we present a rule-based formalism for the representation, acquisition, and application of translation knowledge. The formalism is being used successfully in a Jap...
NAR
2011
14 years 2 months ago
2011
The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and mod...
102
click to vote
METRICS
2005
IEEE
15 years 5 months ago
2005
IEEE
Using OTS (Off-The-Shelf) components in software development has become increasingly popular in the IT industry. OTS components can be either COTS (Commercial-Off-The-Shelf), or O...
113
click to vote
CC
2001
Springer
15 years 3 months ago
2001
Springer
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...
113
click to vote
SOFTVIS
2010
ACM
14 years 12 months ago
2010
ACM
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...