3828 search results - page 494 / 766 » Proof-Based System Engineering Using a Virtual System Model |
194
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...
185
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
A key challenge for agent-oriented software engineering is to develop and implement open systems composed of interacting autonomous agents. On the one hand, there is a need for pe...
191
click to vote
ICIC
2005
Springer
16 years 16 days ago
2005
Springer
This paper describes the architecture of a computer system conceived as an intelligent assistant for public transport management. The goal of the system is to help operators of a c...
180
click to vote
IWSSD
1993
IEEE
15 years 11 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
205
click to vote
APSEC
2002
IEEE
16 years 9 hour ago
2002
IEEE
UML is a modeling language that most developers employed during design phase. UML provides various types of diagrams used for specifying both the structure and the behavior of sys...