Sciweavers

2384 search results - page 222 / 477
» Analyzing Requirements Engineering Processes: A Case Study
Sort
View
APSEC
2007
IEEE
15 years 10 months ago
Toward Efficient Aspect Mining for Linux
Code implementing a crosscutting concern spreads over many parts of the Linux code. Identifying these code automatically can benefit both the maintainability and evolvability of Li...
Danfeng Zhang, Yao Guo, Yue Wang, Xiangqun Chen
ICST
2010
IEEE
15 years 4 months ago
GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
Minh Duc Nguyen, Hélène Waeselynck, ...
ICWS
2008
IEEE
15 years 8 months ago
A Framework for Verifying SLA Compliance in Composed Services
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
Hua Xiao, Brian Chan, Ying Zou, Jay W. Benayon, Bi...
JSS
2000
86views more  JSS 2000»
15 years 6 months ago
Quantitative analysis of static models of processes
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...
Keith Phalp, Martin J. Shepperd
ADAEUROPE
2005
Springer
16 years 1 days ago
Using the AADL to Describe Distributed Applications from Middleware to Software Components
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
Thomas Vergnaud, Laurent Pautet, Fabrice Kordon