290 search results - page 7 / 58 » A Metamodeling Approach for Reasoning about Requirements |
71
Voted
ECIS
2004
14 years 10 months ago
2004
Web site development method is at an early stage in its evolution. Most existing methods are concerned with technical software issues and are poorly adapted to help developers thi...
HICSS
2007
IEEE
15 years 3 months ago
2007
IEEE
— With the advent of Model-Driven Engineering (MDE) several model transformation approaches and languages have been developed in the last 5 years. Most of these existing approach...
TASE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
ER
2007
Springer
15 years 3 months ago
2007
Springer
Model transformations are playing a vital role in the field of model engineering. However, for non-trivial transformation issues most approaches require imperative definitions, w...
ICSE
2010
IEEE-ACM
14 years 11 months ago
2010
IEEE-ACM
Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is...