Sciweavers

10908 search results - page 418 / 2182
» Requirements Engineering Tasks
Sort
View
ATAL
2007
Springer
15 years 10 months ago
ARTS: agent-oriented robust transactional system
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
Mingzhong Wang, Amy Unruh, Kotagiri Ramamohanarao
EUROMICRO
2004
IEEE
15 years 8 months ago
A Service Model for Component-Based Development
The promise of component-based development
John Hutchinson, Gerald Kotonya, Ian Sommerville, ...
SIGSOFT
2011
ACM
14 years 11 months ago
Modeling a distributed intrusion detection system using collaborative building blocks
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
Linda Ariani Gunawan, Michael Vogel, Frank Alexand...
KBSE
1995
IEEE
15 years 8 months ago
Interactive Explanation of Software Systems
This paper describes an effort to provide automated support for the interactive inquiry and explanation process that is at the heart of software understanding. A hypermedia tool c...
W. Lewis Johnson, Ali Erdem
118
Voted
FM
2009
Springer
171views Formal Methods» more  FM 2009»
15 years 11 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...