3926 search results - page 87 / 786 » A Logic of Object-Oriented Programs |
176
click to vote
TCS
2002
15 years 5 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 ...
174
click to vote
ICSEA
2007
IEEE
16 years 18 days 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...
142
click to vote
FM
2009
Springer
16 years 26 days 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...
153
click to vote
PEPM
2007
ACM
16 years 12 days 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...