Sciweavers

2604 search results - page 193 / 521
» Process Change Support Features
Sort
View
STTT
2010
122views more  STTT 2010»
15 years 5 months ago
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
Jean-Raymond Abrial, Michael J. Butler, Stefan Hal...
OTM
2007
Springer
16 years 27 days ago
Top-Down Modeling Methodology for Model-Driven SOA Construction
Service Oriented Architecture (SOA) has been developed to enhance the integration of various systems to allow organizations to be more flexible in case of business changes. This pa...
Jan Ricken
UML
2001
Springer
15 years 11 months ago
RIGR - A Repository Model Based Approach to Management
: Organizations with large integrated computer-based systems are often faced with the challenge of evolving their mission-critical systems in a manner that maximizes reuse opportun...
Ray Trask, Robert B. France
IWPC
1997
IEEE
15 years 11 months ago
Using Knowledge Representation to Understand Interactive Systems
System migration presents a myriad of challenges in software maintenance. The user interfaces of interactive systems can undergo significant change during migration. Program unde...
Melody M. Moore, Spencer Rugaber
OHS
2000
Springer
15 years 10 months ago
Structural Computing in the Collaborative Work Domain?
Abstract. Structural computing is a new paradigm for developing applications in new domains. One of its benefits is that adaptation of behavior--as a consequence of changes of the ...
Jörg M. Haake