5407 search results - page 681 / 1082 » The Software Engineering Global Model |
215
Voted
FASE
2003
Springer
16 years 24 days ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
263
click to vote
FASE
2003
Springer
16 years 24 days ago
2003
Springer
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...
254
Voted
SCAM
2002
IEEE
16 years 15 days ago
2002
IEEE
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...
204
click to vote
FSTTCS
2001
Springer
16 years 2 days ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
202
click to vote
AMAST
2000
Springer
15 years 12 months ago
2000
Springer
In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extens...