Sciweavers

3763 search results - page 558 / 753
» Component-Based Software Engineering Processes
Sort
View
FSEN
2007
Springer
16 years 19 days ago
Adapting the UPPAAL Model of a Distributed Lift System
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
Wan Fokkink, Allard Kakebeen, Jun Pang
IHM
2004
ACM
15 years 12 months ago
Couplage de ressources d'interaction
Although coupling interaction resources is key to ubiquitous computing, this notion has been overlooked in previous studies. In this paper, we address this notion in a more system...
Nicolas Barralon, Christophe Lachenal, Joëlle...
ICFEM
2003
Springer
15 years 11 months ago
Analyzing the Redesign of a Distributed Lift System in UPPAAL
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
Jun Pang, Bart Karstens, Wan Fokkink
MSR
2010
ACM
15 years 11 months ago
Predicting the severity of a reported bug
—The severity of a reported bug is a critical factor in deciding how soon it needs to be fixed. Unfortunately, while clear guidelines exist on how to assign the severity of a bu...
Ahmed Lamkanfi, Serge Demeyer, Emanuel Giger, Bart...
ISTAR
2008
15 years 8 months ago
Ontological Foundations for Agent-Oriented Organizational Modeling
Abstract. This paper reports on our work on three complementary directions, aimed at developing: (i) a theoretical framework named UFO (Unified Foundational Ontology) for (re) desi...
Renata S. S. Guizzardi, Giancarlo Guizzardi, Jo&at...