✦ LIBER ✦

Formal Models for Informal GUI Designs

✍ Scribed by Judy Bowen; Steve Reeves

Book ID: 108126803
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 395 KB
Volume: 183
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2007.01.061

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal models for user interface design

Formal models for user interface design artefacts

✍ Judy Bowen; Steve Reeves 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 434 KB

Lightweight models for interpreting info

Lightweight models for interpreting informal specifications

✍ ChristopherP. Fuhrman 📂 Article 📅 2003 🏛 Springer-Verlag 🌐 English ⚖ 771 KB

Modeling, loading, and preliminary desig

Modeling, loading, and preliminary design considerations for tall guyed towers

✍ C. Gantes; R. Khoury; J.J. Connor; C. Pouangare 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 888 KB

Formal Models for Real People

✍ Michiel van Lambalgen; Marian Counihan 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 147 KB

VirtuE: a formal model of virtual enterp

VirtuE: a formal model of virtual enterprises for information markets

✍ Alessandro D’Atri; Amihai Motro 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 380 KB

Security policy conceptual modeling and

Security policy conceptual modeling and formalization for networked information systems

✍ D. Trček 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 410 KB

Security in networked information systems is a very complex task that ranges from the level of crypto-primitives over crypto-protocols to the level of organizational matters and legislation. All this is comprised in a so-called security policy, which is often treated as an afterthought. One of the m