See this document in CiteSeerX!

Prototyping Concurrent Systems in Cw  (Make Corrections)  
Nuno F. Rodrigues, Lus S. Barbosa Departamento de Informtica, Universidade do ...



  Home/Search   Context   Related

 
View or download:
w2ks.dei.isep.ipp.pt/labd...PCSCw_p.pdf
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  w2ks.dei.isep.ipp....default.aspx (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. (Update)

Active bibliography (related documents):   More   All
0.7:   Components, Connectors and Architectural Patterns - Barbosa (2003)   (Correct)
0.5:   A Mobile Systems Interface Protocol - Emanuel Sousa Jos   (Correct)
0.2:   Specification of Software Architecture Reconfiguration - Wermelinger (1999)   (Correct)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ lus-prototyping,
  author = "Nuno Rodrigues Lus",
  title = "Prototyping Concurrent Systems in Cw",
  url = "citeseer.ist.psu.edu/746617.html" }
Citations (may not include all citations):
2732   Communicating Sequential Processes (context) - Hoare - 1985
854   Information and Computation (context) - Milner, Parrow et al. - 1992
291   A calculus of mobile agents - Fournet, Gonthier et al. - 1996
213   An introduction to software architecture (context) - Garlan, Shaw - 1993
210   Cooperating sequential processes (context) - Dijkstra - 2002
192   Specifying distributed software architectures - Magee, Dulay et al. - 1995
89   A formal basis for architectural connection - Allen, Garlan - 1997
39   Series in Computer Science (context) - Milner, Concurrency - 1989
6   calculus Based Approach to Software Composition (context) - Lumpe - 1999
5   Communicating and Mobile Processes: the -Calculus (context) - Milner - 1999
2   Formal modeling and analysis of software architecture: Compo.. (context) - Garlan - 2003
2   A Programmer's Introduction to (context) - Gunnerson - 2000
1   Prototyping behavioural specifications (context) - Rodrigues, Barbosa - 2004

Documents on the same site (http://w2ks.dei.isep.ipp.pt/labdotnet/ivnet05/default.aspx):   More
Eclipse.NET: - An Integration Platform   (Correct)
Benchmarking a High Performance Real-Time - Transaction Engine Design   (Correct)
A Mobile Systems Interface Protocol - Emanuel Sousa Jos   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC