𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Languages for formalizing, visualizing and verifying software architectures

✍ Scribed by Rob van Ommering; René Krikhaar; Loe Feijs

Book ID
114107548
Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
271 KB
Volume
27
Category
Article
ISSN
0096-0551

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal architectural abstractions for in
Formal architectural abstractions for interactive software
✍ PANOS MARKOPOULOS; PETER JOHNSON; JON ROWSON 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 800 KB

This paper discusses formal interactor models, a class of abstractions for modelling user interface software that incorporate elements of its structure. The abstraction-display-controller (ADC) interactor model is one such abstraction which draws on research into user interface architectures and on

A new software architecture for parallel
A new software architecture for parallel computation and visualization
✍ D.M. Butler 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 315 KB

A novel mathematical data model is investigated as a basis for software environments integrating high performance numerical computation, spontaneous visualization, computation steering, and visual programming in the context of distributed, parallel or network computing. By implementing this data mod