1799 search results - page 221 / 360 » The Logic of Correctness in Software Engineering |
168
click to vote
ESOP
2005
Springer
16 years 2 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
152
click to vote
GROUP
2003
ACM
15 years 11 months ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
249
click to vote
ISSE
2010
15 years 5 months ago
2010
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
187
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
160
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
Representation of negotiations in electronic markets and their support are important issues in today's e-commerce research. Whereas most activities are focused on automation ...