For the most recent entries see the
Petri Nets Newsletter.
Keyword: software architecture
-
Reza, Hassan:
A Methodology for Architectural Design of Concurrent and Distributed Software Systems.
2006.
-
Reza, Hassan;
Grant, Emanuel S.:
A Two-Way Modeling Approach to Architectural Design Based on Reusable Specifications.
2004.
-
Reza, Hassan;
Grant, Emanuel S.:
Model Oriented Software Architecture.
2004.
-
Reza, Hassan;
Grant, Emmanuel:
A Formal Approach to Software Architecture of Agent-Base Systems.
2004.
-
Reza, Hassan;
Grant, Emanuel S.:
A Formal Approach to Software Architecture of Agent-Base Systems. ITCC (1) 2004.
2004.
-
Schmidt, Heinz-W.;
Krämer, Bernd J.;
Peake, Ian D.;
Xie, Jue;
Thomas, Ian;
Fay, Alexander;
Bort, Peter:
Modelling predictable component-based distributed control architectures.
2003.
-
Reza, Hassan;
Grant, Emanual S.:
A Framework for Specifying Software Architecture Based on Multi-Formalisms. Software Engineering Research and Practice.
2003.
-
Xu, Dianxiang;
Yin, Jianwen;
Deng, Yi;
Ding, Junhua:
A Formal Architectural Model for Logical Agent Mobility.
2003.
-
He, Xudong;
Deng, Yi:
A Framework for Developing and Analyzing Software Architecture Specifications in SAM.
2002.
-
He, Xudong;
Deng, Yi:
Specifying Software Architectural Connectors in SAM.
2000.
-
Störrle, Harald:
Models of Software Architecture: Analysis and Design with UML and Petri-nets.
2000.
-
Wu, W.;
Saeki, M.:
Specifying software architectures based on colored Petri nets.
2000.
-
Xu, Dianxiang;
Deng, Yi:
Modeling Mobile Agent Systems with High Level Petri Nets.
2000.
-
Wang, J.;
He, X.;
Deng, Y.:
Introducing software architecture specification and analysis in SAM through an example.
1999.
-
Deng, Y.;
Wang, J.:
Integrated architectural modeling and analysis for high-assurance command and control system design.
1998.
-
Xu, J.;
Kuusela, J.:
Modeling execution architecture of software system using colored Petri nets.
1998.
-
Balbo, Gianfranco;
Chiola, Giovanni:
Stochastic Petri Net Simulation.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography