2274 search results - page 209 / 455 » Qualitative Modeling for Requirements Engineering |
140
click to vote
COMPSAC
2006
IEEE
16 years 17 days ago
2006
IEEE
With the globalization of markets and the creation of software to address these markets, educators face new curriculum challenges. They must expose students not only to core scien...
166
click to vote
ECLIPSE
2006
ACM
16 years 14 days ago
2006
ACM
Programming exercises are an important part of an introductory course in programming. To improve the focus on encapsulation, requirements-based testing and give better feedback gi...
185
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
176
click to vote
PDP
2003
IEEE
15 years 11 months ago
2003
IEEE
Coupling grid applications developed by different teams requires code modification and high S/W engineering effort. In the Ensemble methodology message passing components are deve...
146
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...