Sciweavers

3444 search results - page 53 / 689
» A Theory of Object-Oriented Design
Sort
View
DELTA
2006
IEEE
14 years 2 months ago
Static Code Analysis of Functional Descriptions in SystemC
The co-design of hardware and software systems with object oriented design languages like SystemC has become very popular. Static analysis of those descriptions allows to conduct ...
Martin Holzer 0002, Markus Rupp
CJ
2000
85views more  CJ 2000»
13 years 8 months ago
Arguments and Results
If an object oriented program is a collection of communicating objects, then the objects' protocols de ne the languages the program speaks. Unfortunately, protocols are di cu...
James Noble
DKE
2002
137views more  DKE 2002»
13 years 8 months ago
Consistency of the static and dynamic components of object-oriented specifications
Object-Oriented modeling and design methodologies have been receiving a significant attention since they allow a quick and easy-to-gasp overview about a complex model. However, in...
Anna Formica, Heinz Frank
RSP
2003
IEEE
169views Control Systems» more  RSP 2003»
14 years 2 months ago
Rapid Prototyping and Incremental Evolution Using SLAM
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
Ángel Herranz-Nieva, Juan José Moren...
GECCO
2009
Springer
156views Optimization» more  GECCO 2009»
14 years 3 months ago
Insight knowledge in search based software testing
Software testing can be re-formulated as a search problem, hence search algorithms (e.g., Genetic Algorithms) can be used to tackle it. Most of the research so far has been of emp...
Andrea Arcuri