Sciweavers

Share
17 search results - page 1 / 4
» Component nextgen: a sound and expressive component framewor...
Sort
View
OOPSLA
2007
Springer
10 years 5 months ago
Component nextgen: a sound and expressive component framework for java
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
James Sasitorn, Robert Cartwright
IEE
2010
136views more  IEE 2010»
9 years 10 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil
FDL
2006
IEEE
10 years 5 months ago
MCF: A Metamodeling-based Visual Component Composition Framework
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create eļ¬ƒcient simulation...
Deepak Mathaikutty, Sandeep K. Shukla
WETICE
1998
IEEE
10 years 3 months ago
Using Components for Modeling Intelligent and Collaborative Mobile Agents
Intelligence, collaboration and mobility are the main important features in designing agents for electronic commercial systems. But very few systems permit to implement agents whi...
Min-Jung Woo, Jean-Pierre Briot, Jacques Ferber
BIRTHDAY
2015
Springer
4 years 7 months ago
A Theory Agenda for Component-Based Design
The aim of the paper is to present a theory agenda for component-based design based on results that motivated the development of the BIP component framework, to identify open probl...
Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Ma...
books