3792 search results - page 400 / 759 » Techniques for Trusted Software Engineering |
144
click to vote
AC
1999
Springer
15 years 11 months ago
1999
Springer
The FlexiNet Platform is a Java middleware platform that features a component based ‘white-box’ approach with strong emphasis placed on reflection and introspection at all lev...
155
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
169
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Many approaches to support (semi-automatic) identification of objects in legacy code take the data structures as starting point for candidate classes. Unfortunately, legacy data ...
160
click to vote
EUROMICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
173
click to vote
PEPM
1999
ACM
15 years 11 months ago
1999
ACM
This paper explores the relationship between C++ templates and partial evaluation. Templates were designed to support generic programming but unintentionally provided the ability ...