𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An Action Semantics Integrated Development Environment

✍ Scribed by Luis Menezes; Hermano Moura; Mardoqueu Vieira; Wanderley Cansanção; Francisco Lima; Leonardo Ribeiro

Book ID
104445117
Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
238 KB
Volume
44
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Integrity validation in semantic enginee
Integrity validation in semantic engineering design environment
✍ Xun Li; Sang Bong Yoo 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 538 KB

A collaborative engineering design environment has been devised based on semantic Web technologies. The Semantic Engineering Design Environment (SEDE) consists of Engineering Ontology, Design Rules, Design Database, and Design Data Web Service. The Design Data Web Service provides users APIs (Applic

An Action Environment
An Action Environment
✍ Mark van den Brand; Jørgen Iversen; Peter D. Mosses 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 885 KB
Polymers, the Environment and Sustainabl
Polymers, the Environment and Sustainable Development || The Environment and Sustainable Development: An Integrated Strategy for Polymers
✍ Azapagic, Adisa; Emsley, Alan; Hamerton, Lan 📂 Article 📅 2003 🏛 John Wiley & Sons, Ltd ⚖ 633 KB

In Greek mythology, Pandora was the first woman, fashioned from clay by Hephaestus at Zeus' command. Pandora was made a gift of a box, containing all the ills and diseases, by Zeus to present to her future husband and thus destroy Prometheus' creation of man. Sadly, the box was opened and the ills a

Towards an Integrated Graph Based Semant
Towards an Integrated Graph Based Semantics for UML
✍ Martin Gogolla; Paul Ziemann; Sabine Kuske 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 163 KB

Recently, we proposed an integrated formal semantics based on graph transformation for central aspects of UML class, object and state diagrams. In this paper, we explain the basic ideas of that approach and show how two more UML diagram types, sequence and collaboration diagrams, can be captured. Fo

Supporting software quality in an integr
Supporting software quality in an integrated safety-critical systems development environment
✍ B. Lees; D. G. Jenkins 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 770 KB

Research is described, aimed to support traceability in the design of software for safety-critical applications, through the provision of an on-line design journal enabling design decisions and actions to be traced and recorded. The design environment, within which various software design tools may