𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formalisms to Support the Definition of Processes

✍ Scribed by Leon J. Osterweil

Publisher
Springer
Year
2009
Tongue
English
Weight
700 KB
Volume
24
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Supporting the group creation of formal
Supporting the group creation of formal and informal graphics during business process modeling
✍ Mark Pendergast; Kregg Aytes; James D Lee πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 443 KB

Since the 1960s, research in systems analysis and design has been performed along two distinct tracts: the automation of software design, implementation, and verification; and the elicitation of high level systems requirements. Computer-aided software engineering, rapid prototyping, and more recentl

Supporting the formal verification of ma
Supporting the formal verification of mathematical texts
✍ Claus Zinn πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 264 KB

The formal verification of mathematical texts is one of the most interesting applications for computer systems. In fact, we argue that the expert language of mathematics is the natural choice for achieving efficient mathematician-machine interaction. Our empirical approach, the analysis of carefully