1772 search results - page 36 / 355 » The Model Coupling Toolkit |
SPIN
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
WCRE
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Change coupling is the implicit relationship between two or more software artifacts that have been observed to frequently change together during the evolution of a softw...
PDP
2007
IEEE
14 years 3 months ago
2007
IEEE
Heterogeneous distributed computing platforms continue to require substantial effort in terms of software installation and management for efficient use, often necessitating manua...
TASE
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we propose a fine-grained coupling metrics suite for aspect-oriented (AO) systems, to measure software changes during system evolution. We also present a correlati...
BIOWIRE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Here we study the plausibility of a phase oscillators dynamical model for time division for multiple access in wireless communication networks. We show that emerging patt...