Sciweavers

3837 search results - page 639 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
WLP
2000
Springer
15 years 6 months ago
Attempto Controlled English
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...
Norbert E. Fuchs
ATAL
2008
Springer
15 years 4 months ago
eCAT: a tool for automating test cases generation and execution in testing multi-agent systems
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
BCSHCI
2007
15 years 4 months ago
Information architecture with IBM Task Modeler
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 ...
Colin Bird, Mark Farmer
FORTE
2007
15 years 4 months ago
Transactional Reduction of Component Compositions
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
Serge Haddad, Pascal Poizat
HCI
2007
15 years 4 months ago
A Survey on Transformation Tools for Model Based User Interface Development
As a wide variety of interaction devices, modalities has to be supported by user interface developers, model-based user interface development gets increasing attention. Especially ...
Robbie Schaefer