Sciweavers

2487 search results - page 272 / 498
» Collaborative Engineering Software Development: Ontology-Bas...
Sort
View
EMSOFT
2011
Springer
14 years 4 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
APSEC
2006
IEEE
15 years 10 months ago
Genericity - a "Missing in Action" Key to Software Simplification and Reuse
We hypothesize that certain program complexities and difficulties to realize reuse potentials have their roots in weak mechanisms for generic design of today’s programming techn...
Stan Jarzabek
SIGSOFT
2010
ACM
15 years 2 months ago
Basset: a tool for systematic testing of actor programs
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
Steven Lauterburg, Rajesh K. Karmani, Darko Marino...
130
Voted
LWA
2007
15 years 6 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
WCRE
2002
IEEE
15 years 9 months ago
Practice Patterns for Architecture Reconstruction
Architecture reconstruction embodies benefits for commercial organizations. Reconstructing or recovering the architecture of software systems is primarily driven by the increased ...
Christoph Stoermer, Liam O'Brien, Chris Verhoef