1481 search results - page 215 / 297 » Enriching the Software Development Process by Formal Methods |
155
Voted
ICPW
2007
15 years 5 months ago
2007
The Rule Responder project (responder.ruleml.org) extends the Semantic Web towards a Pragmatic Web infrastructure for collaborative human-computer networks. These allow semi-autom...
135
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
The emergence of the Web has made more and more news items available, however only a small subset of these news items are relevant in a decision making process. Therefore decision...
147
Voted
RTAS
2009
IEEE
15 years 10 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
148
click to vote
EUROMICRO
2009
IEEE
15 years 8 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...
119
click to vote
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
Designers need guidance in tracing knowledge to support the iterative development of interactive software interfaces. Claims show promise in capturing design knowledge with concis...