1823 search results - page 75 / 365 » Formal specification: a roadmap |
159
click to vote
IJIS
2002
15 years 4 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
155
click to vote
EUROMICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
169
click to vote
IFIP
1992
Springer
15 years 8 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
166
click to vote
ECMDAFA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
141
click to vote
CODES
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...