Towards a System Model for Ensembles
暂无分享,去创建一个
[1] Till Mossakowski,et al. Heterogeneous Specification and the Heterogeneous Tool Set , 2004 .
[2] Joseph A. Goguen,et al. Institutions: abstract model theory for specification and programming , 1992, JACM.
[3] Manfred Broy,et al. Mathematical System Models as a Basis of Software Engineering , 1995, Computer Science Today.
[4] José Meseguer,et al. PMaude: Rewrite-based Specification Language for Probabilistic Object Systems , 2006, QAPL.
[5] Gul A. Agha,et al. ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.
[6] José Luiz Fiadeiro,et al. Revisiting the Categorical Approach to Systems , 2002, AMAST.
[7] Martin Wirsing,et al. Timed Rewriting Logic with an Application to Object-Based Specification , 1997, Sci. Comput. Program..
[8] Martin Wirsing,et al. Which Soft Constraints do you Prefer? , 2009, WRLA.
[9] Carolyn L. Talcott,et al. A foundation for actor computation , 1997, Journal of Functional Programming.
[10] Jan van Leeuwen,et al. Computer Science Today , 1995, Lecture Notes in Computer Science.
[11] James P. Brock. 8 – Evolutionary mode , 2000 .
[12] M. D. Mesarović,et al. Mathematical theory of general systems , 1971 .
[13] Valentin Goranko,et al. Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..
[14] E. Doberkat. Stochastic Relations : Foundations for Markov Transition Systems , 2007 .
[15] Francesco Mondada,et al. The marXbot, a miniature mobile robot opening new perspectives for the collective-robotic research , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[16] Doina Bucur,et al. Secure Data Flow in a Calculus for Context Awareness , 2008, Concurrency, Graphs and Models.
[17] Farhad Arbab,et al. Reo: A Channel-based Coordination Model for Component Composition , 2005 .
[18] Grit Denker,et al. Constraint-Muse: A Soft-Constraint Based System for Music Therapy , 2009, CALCO.
[19] W. Ames. Mathematics in Science and Engineering , 1999 .
[20] Joseph A. Goguen,et al. Sheaf semantics for concurrent interacting objects , 1992, Mathematical Structures in Computer Science.
[21] Leslie Lamport,et al. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review] , 2002, Computer.
[22] Gordon D. Plotkin,et al. A Powerdomain Construction , 1976, SIAM J. Comput..
[23] Narciso Martí-Oliet,et al. All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic , 2007, All About Maude.
[24] Martin Wirsing,et al. Software-Intensive Systems and New Computing Paradigms - Challenges and Visions , 2008, Software-Intensive Systems and New Computing Paradigms.
[25] A. H. Klopf,et al. Brain Function and Adaptive Systems: A Heterostatic Theory , 1972 .
[26] Carolyn L. Talcott,et al. A Rewriting Logic Framework for Soft Constraints , 2006, WRLA.
[27] Manfred Broy,et al. Formalizing the notion of adaptive system behavior , 2009, SAC '09.
[28] María Victoria Cengarle,et al. A Heterogeneous Approach to UML Semantics , 2008, Concurrency, Graphs and Models.
[29] David Chillingworth. Proceedings of the Symposium on Differential Equations and Dynamical Systems : University of Warwick, September 1968-August 1969, Summer School, July 15-25, 1969 , 1971 .
[30] Martin Wirsing,et al. Engineering of Software-Intensive Systems: State of the Art and Research Challenges , 2008, Software-Intensive Systems and New Computing Paradigms.
[31] Yasuhiko Takahara,et al. General Systems Theory: Mathematical Foundations , 1975 .
[32] Jane Hillston,et al. Process algebras for quantitative analysis , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
[33] Nikil D. Dutt,et al. A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems , 2007, FMOODS.
[34] Manfred Broy,et al. Engineering Software Intensive Systems , 2003, SNPD.
[35] Kurt Schütte,et al. Vollständige Systeme modaler und intuitionistischer Logik , 1968 .
[36] Manfred Broy,et al. A Logical Basis for Component-Oriented Software and Systems Engineering , 2010, Comput. J..
[37] Peter Csaba Ölveczky,et al. Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude , 2006, Formal Methods Syst. Des..
[38] Eliseo Ferrante,et al. ARGoS: A modular, multi-engine simulator for heterogeneous swarm robotics , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[39] I. Chueshov. Introduction to the Theory of In?nite-Dimensional Dissipative Systems , 2002 .