5630 search results - page 331 / 1126 » Computability in Specification |
165
click to vote
ICFEM
2000
Springer
15 years 10 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
173
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
147
click to vote
ISN
1995
Springer
15 years 10 months ago
1995
Springer
–This paper presents the results of the implementation of a Virtual Private Network telecommunications service prototype and associated management services on a distributed platf...
175
click to vote
SIGCSE
1995
ACM
15 years 10 months ago
1995
ACM
Interest in teaching object-oriented programming in first year computer science courses has increased substantially over the last few years. While the theoretical advantages are c...
171
click to vote
BIBM
2008
IEEE
15 years 8 months ago
2008
IEEE
: The analysis of Biological Regulatory Network (BRN) leads to compute the set of the possible behaviours of the biological components. These behaviours are seen as trajectories an...