1357 search results - page 23 / 272 » Compositional analysis for linear systems |
UML
2001
Springer
14 years 2 months ago
2001
Springer
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
EDOC
2007
IEEE
14 years 4 months ago
2007
IEEE
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analy...
PLDI
2006
ACM
14 years 4 months ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
CHARME
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
HYBRID
2010
Springer
14 years 3 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...