Sciweavers

1597 search results - page 59 / 320
» A Design Method for Object-Oriented Programming
Sort
View
GECCO
2005
Springer
146views Optimization» more  GECCO 2005»
15 years 8 months ago
Design of air pump system using bond graph and genetic programming method
Kisung Seo, Erik D. Goodman, Ronald C. Rosenberg
PLDI
2012
ACM
13 years 5 months ago
The implicit calculus: a new foundation for generic programming
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Ch...
FATES
2003
Springer
15 years 8 months ago
Black-Box Testing of Grey-Box Behavior
A key aspect of the Object-Oriented (OO) approach is that a designer can enrich an OO system by providing suitable (re-)definitions for some of the methods of the given system. A...
Benjamin Tyler, Neelam Soundarajan
PLDI
2012
ACM
13 years 5 months ago
Fully automatic and precise detection of thread safety violations
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...
Michael Pradel, Thomas R. Gross
KDD
2004
ACM
213views Data Mining» more  KDD 2004»
15 years 8 months ago
Analytical view of business data
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...
Adam Yeh, Jonathan Tang, Youxuan Jin, Sam Skrivan