1676 search results - page 109 / 336 » Formal System Development with KIV |
234
click to vote
AGTIVE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The DRAGOS database eases the development of graphbased applications by providing a uniform graph-oriented data storage facility. In this paper, we extend the existing da...
160
click to vote
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
184
click to vote
CL
2012
Springer
13 years 7 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
137
click to vote
TSE
1998
15 years 4 months ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
130
click to vote
ENTCS
2008
15 years 4 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...