109 search results - page 9 / 22 » A Formal Approach to Component-Based Software Engineering: E... |
TACS
1994
Springer
14 years 19 days ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
ICST
2009
IEEE
13 years 6 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
ISSTA
2000
ACM
14 years 28 days ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
DRM
2007
Springer
14 years 2 months ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
AVI
2006
13 years 10 months ago
2006
This paper reports our experience of evaluating an application that uses visualization approaches to support instructors in Web based distance education. The evaluation took place...