Sciweavers

3837 search results - page 464 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
CAISE
2005
Springer
15 years 9 months ago
Organizational Model to Derive Multi-Agent Architecture from Requirements
Abstract. Understanding and supporting the interaction between software requirements and architectures remains one of the challenging problems in software engineering research. To ...
Lúcia R. D. Bastos, Jaelson Brelaz de Castr...
SOQUA
2007
15 years 5 months ago
ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools
With the proliferation of the new multi-core personal computers, and the explosion of the usage of highly concurrent machine configuration, concurrent code moves from being writt...
Yarden Nir-Buchbinder, Shmuel Ur
AGENTS
2001
Springer
15 years 8 months ago
Representing social structures in UML
From a software engineering perspective, agent systems are a specialization of object-oriented (OO) systems, in which individual objects have their own threads of control and thei...
H. Van Dyke Parunak, James Odell
VSTTE
2005
Springer
15 years 9 months ago
Verifying Design with Proof Scores
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogat...
138
Voted
ECBS
2003
IEEE
133views Hardware» more  ECBS 2003»
15 years 9 months ago
Enterprise-Wide Solutions Architecting Using UML
- In concert with customer and marketing staffs, systems engineers often formulate and codify an initial overall software system solution to fulfill customer needs. Without a focus...
Diane Feldman, Josephine Micallef, Dennis Mulcare