1326 search results - page 242 / 266 » Semantic Coherence in Software Engineering |
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
Commitments provide a basis for understanding interactions in multiagent systems. Successful interoperation relies upon the interacting parties being aligned with respect to their...
FOSSACS
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
IEEEARES
2007
IEEE
14 years 4 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
EMSOFT
2007
Springer
14 years 4 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
FSTTCS
2007
Springer
14 years 4 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...