3021 search results - page 336 / 605 » A Domain Engineering Approach for Situational Method Enginee... |
176
click to vote
AMAST
2004
Springer
16 years 59 min ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
183
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Software components realising the graphical user interface (GUI) of a highly interactive system or the user interface of a Web application form an essential part of the entire impl...
183
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
197
click to vote
LREC
2008
15 years 8 months ago
2008
We present an approach to the discovery of semantically similar terms that utilizes a web search engine as both a source for generating related terms and a tool for estimating the...
171
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...