6474 search results - page 518 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
154
click to vote
UIST
1996
ACM
15 years 11 months ago
1996
ACM
This paper presents XXL, a new interactive development system for building user interfaces which is based on the concept of textual and visual equivalence. XXL includes an interac...
207
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
202
click to vote
ACMSE
2005
ACM
16 years 20 days ago
2005
ACM
Traditionally, computer science education has considered “objects-first” or “imperative-first” approaches, with the focus of the course on teaching design of programs star...
228
click to vote
ECBS
2011
IEEE
14 years 6 months ago
2011
IEEE
—Model-based development techniques enable a high efficiency and the mastering of complexity. For many domains more than one model has to be used to express the relevant informat...
201
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Model-based development of highly complex software systems leads to large models. Storing them in repositories offers the possibility to work with these models in a distributed env...