Publications

Export 6 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is Software architecture  [Clear All Filters]
2008
Ray A, Cleaveland R.  2008.  Executable Specifications for Real-Time Distributed Systems. Electronic Notes in Theoretical Computer Science. 203(4):3-17.
2006
Ray A, Cleaveland R.  2006.  A Software Architectural Approach to Security by Design. Computer Software and Applications Conference, 2006. COMPSAC '06. 30th Annual International. 2:83-86.
2004
Ray A, Cleaveland R.  2004.  Formal Modeling Of Middleware-based Distributed Systems. Electronic Notes in Theoretical Computer Science. 108:21-37.
1999
Sabnis C, Cukier M, Ren J, Rubel P, Sanders WH, Bakken DE, Karr D.  1999.  Proteus: a flexible infrastructure to implement adaptive fault tolerance in AQuA. :149-168.
1997
Mahajan R, Shneiderman B.  1997.  Visual and textual consistency checking tools for graphical user interfaces. IEEE Transactions on Software Engineering. 23(11):722-735.
1993
Delis A, Roussopoulos N.  1993.  Performance comparison of three modern DBMS architectures. IEEE Transactions on Software Engineering. 19(2):120-138.