Sciweavers

2935 search results - page 162 / 587
» An Integrated Approach to High Integrity Software Verificati...
Sort
View
EUROMICRO
2000
IEEE
15 years 11 months ago
Distributed Virtual Learning Environment: A Web-Based Approach
In this paper, we present a web-based Distributed Virtual Learning Environment (DVLE) that could be used as a sophisticated tool for distance education and collaboration between t...
Christos Bouras, Alexandros Philopoulos
WSC
2008
15 years 8 months ago
An object-oriented programming approach for a GIS data-driven simulation model of traffic on an inland waterway
This research proposes the integration of a Geographic Information System (GIS) with the Arena Simulation software to model the transit of ocean-going vessels through the Panama C...
Daniel Sasso, William E. Biles
CHI
2004
ACM
16 years 6 months ago
Story lifecycle in a product development organization
This poster describes an integrated set of stories and story-based activities that we have used in product development in IBM Software Group's Lotus product organizations. We...
Majie Zeller, Sandra L. Kogan, Michael J. Muller, ...
ICSE
2007
IEEE-ACM
16 years 6 months ago
Variability Management in Software Product Line Engineering
By explicitly modeling and managing variability, software product line engineering provides a systematic approach for creating a diversity of similar products at low cost, in shor...
Andreas Metzger, Klaus Pohl
CAV
2004
Springer
108views Hardware» more  CAV 2004»
15 years 10 months ago
Functional Dependency for Verification Reduction
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
Jie-Hong Roland Jiang, Robert K. Brayton