1469 search results - page 159 / 294 » Design and Implementation of Software Objects in Hardware |
VSTTE
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
This article describes requirements and challenges of crossplatform multi-touch software engineering, and presents the open source framework Multi-Touch for Java (MT4j) as a solut...
CASES
2000
ACM
15 years 1 months ago
2000
ACM
This paper introduces the notion of a Flexible Instruction Processor (FIP) for systematic customisation of instruction processor design and implementation. The features of our app...
ICECCS
2007
IEEE
15 years 4 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
113
click to vote
AOSD
2006
ACM
15 years 3 months ago
2006
ACM
The relationships between objects in object-oriented programs are as important as the objects themselves. Unfortunately, most objectoriented programming languages provide little s...