3381 search results - page 81 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
171
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
The alignment between business processes and software is inadequately supported in conceptual modelling, although business processes are often the starting point for software devel...
189
click to vote
CMSB
2009
Springer
16 years 26 days ago
2009
Springer
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
164
click to vote
ICDS
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Recently, two complementary approaches are proposed to represent, model and analyze laws: the Nomos and VLPM approaches. Nomos is a goal-oriented approach to effectively...
168
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
Novel test bench techniques are required to cope with a functional test complexity which is predicted to grow much more strongly than design complexity. Our test bench approach at...
177
click to vote
CAI
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper discusses schema evolution in software engineering databases. After a study of existing approaches, we show that these approaches do not satisfy software engin...