Add to ORKGA preliminary version `Computation and Specification Models. A Comparative Study' appeared in Proc. Workshop on Action Semantics (FLOC'02), BRICS Series NS-02-08 at University of Aarhus, pages 107-130, 200
Abstract state machines (ASMs) provide the formal foundation for a successful methodology for specif...
As part of a more general effort on the design of a combined modeling and programming language, supp...
Abstract State Machines (ASM) have been introduced as “a computation model that is more powerful and...
AbstractWe capture the principal models of computation and specification in the literature by a unif...
State machines consume and process actions complementary to programs issuing actions. State machines...
AbstractState machines consume and process actions complementary to programs issuing actions. State ...
... we should have achieved a mathematical model of computation, perhaps highly abstract in contrast...
State machines can be used to specify the behaviour of objects in a system by describing the relatio...
Context: Model Driven Development (MDD) encourages the use of models for developing complex software...
We propose a transformation from declarative approach to conceptual information system modelling on...
How can one cope with the notorious problem of establishing the correctness and completeness of abst...
The design of complex man-made systems mostly involves a conceptual modeling phase; therefore, it is...
Behavioural models play a crucial role in software engineering methodologies as they allow the analy...
Conventional computation models assume symbolic representations of states and actions. Gurevich's Ab...
Over the last twenty years, Abstract State Machines (ASMs) have been used to describe and validate a...
Abstract state machines (ASMs) provide the formal foundation for a successful methodology for specif...
As part of a more general effort on the design of a combined modeling and programming language, supp...
Abstract State Machines (ASM) have been introduced as “a computation model that is more powerful and...
AbstractWe capture the principal models of computation and specification in the literature by a unif...
State machines consume and process actions complementary to programs issuing actions. State machines...
AbstractState machines consume and process actions complementary to programs issuing actions. State ...
... we should have achieved a mathematical model of computation, perhaps highly abstract in contrast...
State machines can be used to specify the behaviour of objects in a system by describing the relatio...
Context: Model Driven Development (MDD) encourages the use of models for developing complex software...
We propose a transformation from declarative approach to conceptual information system modelling on...
How can one cope with the notorious problem of establishing the correctness and completeness of abst...
The design of complex man-made systems mostly involves a conceptual modeling phase; therefore, it is...
Behavioural models play a crucial role in software engineering methodologies as they allow the analy...
Conventional computation models assume symbolic representations of states and actions. Gurevich's Ab...
Over the last twenty years, Abstract State Machines (ASMs) have been used to describe and validate a...
Abstract state machines (ASMs) provide the formal foundation for a successful methodology for specif...
As part of a more general effort on the design of a combined modeling and programming language, supp...
Abstract State Machines (ASM) have been introduced as “a computation model that is more powerful and...