Sciweavers

1925 search results - page 145 / 385
» Documenting software systems with views
Sort
View
KBSE
2008
IEEE
16 years 19 days ago
QuARS Express - A Tool Demonstration
Requirements analysis is an important phase in a software project. Automatic evaluation of Natural Language (NL) requirements documents has been proposed as a means to improve the...
Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami...
AMAST
2004
Springer
15 years 10 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
SAC
2009
ACM
15 years 11 months ago
Automatic product derivation of multi-agent systems product lines
Multi-agent Systems (MASs) development and Software Product Lines (SPLs) are two consolidated software engineering techniques. Recent research work explores the integration betwee...
Elder Cirilo, Ingrid Nunes, Uirá Kulesza, C...
AOSE
2001
Springer
15 years 10 months ago
UML Class Diagrams Revisited in the Context of Agent-Based Systems
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...
Bernhard Bauer
COMPSAC
2003
IEEE
15 years 11 months ago
Flexible Fault Tolerance in Configurable Middleware for Embedded Systems
MicroQoSCORBA (MQC) is a middleware platform that focuses on embedded applications by providing a very fine level of configurability of its internal orthogonal components. Using t...
Kevin E. Dorow