4919 search results - page 577 / 984 » A Process-Ontological Model for Software Engineering |
154
Voted
AMAST
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
154
Voted
TAPSOFT
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
131
Voted
FATES
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
153
click to vote
ACSC
2001
IEEE
15 years 8 months ago
2001
IEEE
Management of system requirements and system architectures is part of any software engineering project. But it is usually very tedious and error prone. In particular, managing the...
131
click to vote
ADAEUROPE
2003
Springer
15 years 8 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...