2700 search results - page 179 / 540 » The role of abstraction in software engineering |
166
click to vote
WADT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
168
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract—Discovery biological organisation of the cell in modules network is a challenging task. Currently, approaches based on a controlled vocabulary, as Gene Ontology, to iden...
143
click to vote
QSIC
2003
IEEE
15 years 11 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
161
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Given a binary relation IE ∪ IR on the set of ground terms e signature, we define an abstract rewrite closure for IE ∪ IR. act rewrite closure can be interpreted as a speciali...
171
click to vote
AMAST
2000
Springer
15 years 10 months ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...