17 search results - page 3 / 4 » Behavioural Conflicts in a Causal Specification |
ISPE
2003
13 years 7 months ago
2003
: Nowadays, the UML language is one of the most widely accepted software modelling language. Enterprise modelling is concerned with the externalisation of knowledge about the en...
RISE
2005
Springer
13 years 12 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
1614
click to vote
ICECCS
2008
IEEE
14 years 26 days ago
2008
IEEE
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
ACSD
2004
IEEE
13 years 10 months ago
2004
IEEE
The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling edges of...
ECAI
1992
Springer
13 years 10 months ago
1992
Springer
The cooperation knowledge level is a new computer level specifically for multi-agent problem solvers which describes rich and explicit models of common social phenomena. A cooperat...