1528 search results - page 73 / 306 » Object-Oriented Software Composition |
ICST
2010
IEEE
13 years 6 months ago
2010
IEEE
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...
APSEC
2008
IEEE
14 years 2 months ago
2008
IEEE
Design and development scalability, in any engineering, requires information hiding and a specific composition mechanism in which composite items are made-up of other items. This ...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
INTERNET
2010
13 years 6 months ago
2010
— Software as a Service (SaaS) and the possibility to compose Web services provisioned over the Internet are important assets for a service-oriented architecture (SOA). However, ...
PEPM
2007
ACM
14 years 1 months ago
2007
ACM
An X-to-O mapping takes an XML schema as input and returns an object model as output; this object model is meant for programmatic, schema-aware access to XML data. The provision o...