896 search results - page 77 / 180 » Stepwise Refinement of Processes |
104
Voted
AMAST
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...
134
Voted
WCRE
1996
IEEE
15 years 6 months ago
1996
IEEE
The process of software development is gradually achieving more rigor. Proficient developers now construct indirectly through the abstraction of models. Models allow a developer t...
137
Voted
CAV
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
95
Voted
FLAIRS
2001
15 years 4 months ago
2001
Using a generalized adaptive frameworkfor unified cognitive modeling,wereplicate humanperformanceon a standardStrooptask withinan explanatorycomputational modelof vision, language...
113
Voted
AAAI
1998
15 years 4 months ago
1998
We introduce a methodology for automating the maintenance of domain-specific taxonomies based on natural language text understanding. A given ontology is incrementally updated as ...