Sciweavers

916 search results - page 69 / 184
» Activity Theory for the Analysis and Design of Multi-agent S...
Sort
View
SIGSOFT
2005
ACM
14 years 10 months ago
Moose: an agile reengineering environment
Software systems are complex and difficult to analyze. Reengineering is a complex activity that usually involves combining different techniques and tools. Moose is an reengineerin...
Oscar Nierstrasz, Stéphane Ducasse, Tudor G...
DESRIST
2009
Springer
103views Education» more  DESRIST 2009»
14 years 1 months ago
Soft design science methodology
This paper proposes and evaluates a soft systems approach to design science research. Soft Design Science provides an approach to the development of new ways to improve human orga...
Richard Baskerville, Jan Pries-Heje, John R. Venab...
EJIS
2006
79views more  EJIS 2006»
13 years 9 months ago
A genealogical study of boundary-spanning IS design
This paper presents the design of a business-aligned information system (IS) from an actor-network perspective, viewing non-human intermediaries jointly as inscriptions and bounda...
Susan Gasson
FOSSACS
2008
Springer
13 years 10 months ago
Robust Analysis of Timed Automata via Channel Machines
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
Patricia Bouyer, Nicolas Markey, Pierre-Alain Reyn...
LCTRTS
2010
Springer
14 years 4 months ago
Modeling structured event streams in system level performance analysis
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
Simon Perathoner, Tobias Rein, Lothar Thiele, Kai ...