Publications
Export 6 results:
Author Title Type [ Year] Filters: Keyword is Software architecture [Clear All Filters]
2008. Executable Specifications for Real-Time Distributed Systems. Electronic Notes in Theoretical Computer Science. 203(4):3-17.
2006. A Software Architectural Approach to Security by Design. Computer Software and Applications Conference, 2006. COMPSAC '06. 30th Annual International. 2:83-86.
2004. Formal Modeling Of Middleware-based Distributed Systems. Electronic Notes in Theoretical Computer Science. 108:21-37.
1997. Visual and textual consistency checking tools for graphical user interfaces. IEEE Transactions on Software Engineering. 23(11):722-735.
1993. Performance comparison of three modern DBMS architectures. IEEE Transactions on Software Engineering. 19(2):120-138.