950 search results - page 48 / 190 » Developing Law-Governed Systems Using Aspects |
111
click to vote
SOSYM
2010
14 years 10 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
190
click to vote
POPL
2006
ACM
16 years 5 days ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
100
click to vote
APSEC
2001
IEEE
15 years 3 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
122
click to vote
FEDCSIS
2011
13 years 11 months ago
2011
—Nowadays, embedded systems are widely used. It is extremely difficult to analyze safety issues in embedded systems, to relate the safety analysis results to the actual parts, a...
129
click to vote
PUK
2001
15 years 1 months ago
2001
Hardware agents as a part of cooperative multi-agent systems act in dynamically changing environments and accomplish tasks jointly. Since the pure hybrid plan representation provid...