Sciweavers

1261 search results - page 78 / 253
» A taxonomy for identifying requirement interactions in softw...
Sort
View
WER
1999
Springer
15 years 10 months ago
A Knowledge Acquisition Systematic within the Domain Analysis Context
This work presents a systematic approach to knowledge acquisition within the domain analysis context, which grants a well defined process for eliciting and representing domain info...
Mônica Zopelari Roseti, Cláudia Maria...
DMS
2008
167views Multimedia» more  DMS 2008»
15 years 7 months ago
Testing Multi-agent Systems for Deadlock Detection Based on UML Models
There is a growing demand for Multi-Agent Systems (MAS) in the software industry. The autonomous agent interaction in a dynamic software environment can potentially lead to runtim...
Nariman Mani, Vahid Garousi, Behrouz Homayoun Far
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
16 years 22 days ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
SACMAT
2006
ACM
16 years 4 days ago
Information flow property preserving transformation of UML interaction diagrams
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
Fredrik Seehusen, Ketil Stølen
CC
2001
Springer
150views System Software» more  CC 2001»
15 years 9 months ago
SmartTools: A Generator of Interactive Environments Tools
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...
Isabelle Attali, Carine Courbis, Pascal Degenne, A...