1104 search results - page 51 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
ICECCS
2005
IEEE
14 years 2 months ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
KBSE
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes a new approach to visualization of scenarios within the use case-based engineering of functional requirements – the so-called Video Camera metaphor. The Vid...
TSE
2010
13 years 7 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
KBSE
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
BCSHCI
2007
13 years 10 months ago
2007
The IBM Task Modeler supports the rapid creation and analysis of hierarchical task models, thereby providing a valuable and naturally visual tool for information architects. Task ...