10241 search results - page 1520 / 2049 » Goal-Driven Software Development |
153
click to vote
PRDC
2007
IEEE
16 years 15 days ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
196
click to vote
SIES
2007
IEEE
16 years 15 days ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
170
click to vote
TPHOL
2007
IEEE
16 years 15 days ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
133
click to vote
ADBIS
2007
Springer
16 years 13 days ago
2007
Springer
Replication is crucial to achieve high availability distributed systems. However, non-determinism introduces consistency problems between replicas. Transactions are very well suite...
144
click to vote
APWEB
2007
Springer
16 years 13 days ago
2007
Springer
XQuery is a powerful language defined by the W3C to query XML documents. Its query functionalities and its expressiveness satisfy the major needs of both the database community an...