Sciweavers

5180 search results - page 359 / 1036
» Requirements Engineering
Sort
View
ASWEC
2007
IEEE
16 years 1 months ago
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
Lars Grunske, Kirsten Winter, Robert Colvin
COMPSAC
2007
IEEE
16 years 1 months ago
An Approach to Adaptive Distributed Execution Monitoring for Workflows in Service-based Systems
Systems based on Service-Oriented Architecture are called service-based systems (SBS), and comprise of computing services offered by various organizations. Users of SBS often requ...
Stephen S. Yau, Dazhi Huang, Luping Zhu
ISPW
2007
IEEE
16 years 1 months ago
Coping with the Cone of Uncertainty: An Empirical Study of the SAIV Process Model
There is large uncertainty with the software cost in the early stages of software development due to requirement volatility, incomplete understanding of product domain, reuse oppor...
Da Yang, Barry W. Boehm, Ye Yang, Qing Wang, Mings...
IWPC
2007
IEEE
16 years 1 months ago
Designing your Next Empirical Study on Program Comprehension
The field of program comprehension is characterized by both the continuing development of new tools and techniques and the adaptation of existing techniques to address program co...
Massimiliano Di Penta, R. E. Kurt Stirewalt, Eilee...
QSIC
2007
IEEE
16 years 1 months ago
OPTIMA: An Ontology-Based PlaTform-specIfic software Migration Approach
Software migration is an inherently knowledge intensive activity, which requires a great amount of expertise and experience from different sources. Knowledge-based approach to sof...
Hong Zhou, Jian Kang, Feng Chen, Hongji Yang