859 search results - page 18 / 172 » Explaining Synthesized Software |
CBSE
2005
Springer
14 years 2 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
Book
"Object-Oriented Software Composition adopts the viewpoint that object-oriented technology is essentially about composing flexible software applications from software componen...
SPIN
1999
Springer
14 years 26 days ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
INFORMATICALT
2010
13 years 7 months ago
2010
One of the major activities in software design is defining software architecture. Before designing software structure and software behavior we have to define its architecture. In...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...