algebraic architectural description

JSS
2010

120views more JSS 2010»

Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation

12 years 11 months ago

Download www.sti.uniurb.it

Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...

Marco Bernardo, Edoardo Bontà, Alessandro A...

claim paper

Read More »

click to vote

ECSA
2008
Springer

98views Software Engineering» more ECSA 2008»

Non-synchronous Communications in Process Algebraic Architectural Description Languages

13 years 6 months ago

Download www.sti.uniurb.it

Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...

Marco Bernardo, Edoardo Bontà

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers