Sciweavers

2118 search results - page 77 / 424
» Execution of A Requirement Model in Software Development
Sort
View
ICFEM
2007
Springer
15 years 10 months ago
Formal Engineering of XACML Access Control Policies in VDM++
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
Jeremy Bryans, John S. Fitzgerald
TSE
1998
115views more  TSE 1998»
15 years 4 months ago
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon
ICST
2009
IEEE
15 years 11 months ago
Optimizing Probabilities of Real-Time Test Case Execution
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
Nicolás Wolovick, Pedro R. D'Argenio, Hongy...
CSEE
2009
Springer
15 years 11 months ago
A Global and Competition-Based Model for Fostering Technical and Soft Skills in Software Engineering Education
The project experience described in this paper builds upon three years of running global software development projects in an educational setting. It explicitly addresses some of t...
Olly Gotel, Vidya Kulkarni, Moniphal Say, Christel...
SC
2005
ACM
15 years 10 months ago
Cross-Platform Performance Prediction of Parallel Applications Using Partial Execution
Performance prediction across platforms is increasingly important as developers can choose from a wide range of execution platforms. The main challenge remains to perform accurate...
Leo T. Yang, Xiaosong Ma, Frank Mueller