4360 search results - page 26 / 872 » Socio-technical systems: From design methods to systems engi... |
ISOLA
2004
Springer
14 years 29 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
This paper reports the results of exploratory research to develop a pilot pattern language for systems engineers at BAE SYSTEMS. The pattern language was designed to encapsulate k...
CODES
2011
IEEE
12 years 7 months ago
2011
IEEE
The paper presents an overview of a major research project on dependable embedded systems that has started in Fall 2010 and is running for a projected duration of six years. Aim i...
AI
2002
Springer
13 years 7 months ago
2002
Springer
Recently, two advances in agent-oriented software engineering have had a significant impact: the identification of interaction and coordination as the central focus of multi-agent ...