70 search results - page 5 / 14 » A Flexible, (C)LP-Based Approach to the Analysis of Object-O... |
70
Voted
TOOLS
1997
IEEE
15 years 2 months ago
1997
IEEE
Function Point Analysis measures user requested functionality independent of the technology used for implementation. Software applications are represented stract model that contai...
68
Voted
ENTCS
2006
14 years 10 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
86
Voted
WCRE
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract—The principles and best practices of object oriented design require that modules in a program should match logical decomposition of the knowledge that the program implem...
91
Voted
ENVSOFT
2002
14 years 10 months ago
2002
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
121
click to vote
PLDI
2012
ACM
13 years 20 days ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...