Sciweavers

3837 search results - page 171 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
SPLC
2004
15 years 5 months ago
Experiences in Software Product Families: Problems and Issues During Product Derivation
A fundamental reason for investing in product families is to minimize the application engineering costs. Several organizations that employ product families, however, are becoming i...
Sybren Deelstra, Marco Sinnema, Jan Bosch
106
Voted
ICSM
2005
IEEE
15 years 9 months ago
Strider: Configuration Modelling and Analysis of Complex Systems
This paper describes an approach and support tool for the modelling and analysis of proposed reconfigurations to complex systems. The configuration models used are quick to constr...
Simon Lock
PPPJ
2004
ACM
15 years 9 months ago
Java event broadcasting in CSCW environment
A collaborative computing environment supports groups of people as they cooperate to achieve their goals. In this paper we investigate the issues on event broadcasting in Java col...
Chien-Min Wang, Shun-Te Wang, Shyh-Fong Hong, Hsi-...
120
Voted
AMAST
2004
Springer
15 years 7 months ago
A Formally Verified Calculus for Full Java Card
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
Kurt Stenzel
141
Voted
WER
2005
Springer
15 years 9 months ago
A Process for Requirement Traceability in Agent Oriented Development
Requirement traceability is intended to ensure continued alignment between stakeholders’ requirements and various outputs of the system development process. Therefore a process f...
Rosa Candida Pinto, Carla T. L. L. Silva, Jaelson ...