Sciweavers

2682 search results - page 196 / 537
» An Iterative-Cyclic Software Process Model
Sort
View
COMPSAC
2003
IEEE
15 years 8 months ago
An Object-Passing Model for Parallel Programming
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...
Jameela Al-Jaroodi, Nader Mohamed
CLIMA
2011
14 years 2 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
105
Voted
FOAL
2009
ACM
15 years 9 months ago
A machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
Benjamin Delaware, William R. Cook, Don S. Batory
IEAAIE
2005
Springer
15 years 8 months ago
A Holistic Approach to Test-Driven Model Checking
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
Fevzi Belli, Baris Güldali
TASE
2008
IEEE
15 years 9 months ago
An Empirical Study of Maintainability in Aspect-Oriented System Evolution Using Coupling Metrics
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...
Haihao Shen, Sai Zhang, Jianjun Zhao