Sciweavers

3311 search results - page 80 / 663
» Deductive Object Programming
Sort
View
APSEC
2006
IEEE
15 years 1 months ago
Safety Analysis for Dynamic Update of Object Oriented Programs
Yogesh Murarka, Umesh Bellur, Rushikesh K. Joshi
CSMR
2008
IEEE
15 years 1 months ago
Understanding the Impact of Distribution in Object-Oriented Distributed Systems Using Structural Program Dependencies
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
Dan C. Cosma, Radu Marinescu
ICWS
2007
IEEE
15 years 1 months ago
Raising Programming Abstraction from Objects to Services
Arun Kumar, Anindya Neogi, Sateesh Pragallapati, D...