Florida International University
A discovery platform for FIU's expertise and scholarly output
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
About
Software architecture
Author Keyword
Research
Research
author keyword
A formal architectural model for logical agent mobility
Article
A formal method for analyzing software architecture models in SAM
Proceedings Paper
A formalism for architectural modeling of distributed real-time systems
Proceedings Paper
Formally analyzing software architectural specifications using SAM
Article
Integrated architectural modeling and analysis for high-assurance command and control system design
Proceedings Paper
Introducing software architecture specification and analysis in SAM through an example
Article
NDN Impact on Tactical Application Development
Proceedings Paper
Specifying software architectural connectors in SAM
Article
Three-layered mediator architecture based on DHT
Proceedings Paper