1669 search results - page 89 / 334 » Structured Specification of Model Interpreters |
HICSS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper we propose to introduce novel constructs for workflow modeling in the context of changing the organization of work when virtualizing organizations. We do not only de...
131
click to vote
SIGLEX
1991
15 years 7 months ago
1991
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identi...
128
Voted
ICECCS
2005
IEEE
15 years 9 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
131
click to vote
ACSD
2001
IEEE
15 years 7 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
150
Voted
CADE
1990
Springer
15 years 7 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...