3926 search results - page 87 / 786 » A Logic of Object-Oriented Programs |
150
click to vote
TCS
2002
15 years 4 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
142
click to vote
ICSEA
2007
IEEE
15 years 11 months ago
2007
IEEE
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...
115
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
129
click to vote
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
An X-to-O mapping takes an XML schema as input and returns an object model as output; this object model is meant for programmatic, schema-aware access to XML data. The provision o...