Sciweavers

2259 search results - page 281 / 452
» Leveraging Distributed Software Development
Sort
View
AMAST
2006
Springer
15 years 8 months ago
Realizability Criteria for Compositional MSC
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
Arjan J. Mooij, Judi Romijn, Wieger Wesselink
FOSSACS
2006
Springer
15 years 8 months ago
Processes for Adhesive Rewriting Systems
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
Paolo Baldan, Andrea Corradini, Tobias Heindel, Ba...
EWSPT
2000
Springer
15 years 8 months ago
Advanced Services for Process Evolution: Monitoring and Decision Support
Process support environments (PSEs) are widely used for modelling, enacting and analyzing human intensive processes. The benefits of a PSE become apparent when processes to be supp...
Ilham Alloui, Sami Beydeda, Sorana Cîmpan, V...
LWA
2007
15 years 5 months ago
A Domain Independent System Architecture for Sharing Experience
We propose SEASALT, an architecture based on the CoMES approach on developing collaborative multi-expert-systems using case-based reasoning and software agents technology. SEASALT...
Kerstin Bach, Meike Reichle, Klaus-Dieter Althoff
ECEASST
2010
15 years 1 months ago
Testing as a Certification Approach
: For years, one of the main reasons to buy commercial software instead of adopting open-source applications was the, supposed, guarantee of quality. Unfortunately that was rarely ...
Alberto Simões, Nuno Carvalho, José ...