307,696 Hits in 6.2 sec

A Relational Model for Formal Object-Oriented Requirement Analysis in UML [chapter]

Zhiming Liu, He Jifeng, Xiaoshan Li, Yifeng Chen
2003 Lecture Notes in Computer Science  
By doing the projects they are trained. At present, the technical focus of UNU/IIST is on formal methods for software development.  ...  His research interests include theory of computing systems, including sound methods for specification, verification and refinement of faulttolerant, real-time and concurrent systems, and formal techniques  ...  Acknowledgement We would like to thank Chris George for his useful comments on the work, and the referees for their comments that has helped us to improve the presentation.  ... 
doi:10.1007/978-3-540-39893-6_36 fatcat:m777trlddjh7nhl564tmimli5i

An Introduction to the Book Titled Nature of Computation and Communication

Phan Cong Vinh
2015 EAI Endorsed Transactions on Context-aware Systems and Applications  
We introduce the book with the title of "Nature of Computation and Communication" edited by Prof. Phan Cong Vinh, Dr.  ...  Hopefully, they will find this book provoking for their research related to hot topics of computing and being useful to their future work.  ...  Hence, for such collective adaptive systems (CASs), one of major challenges is how to support self-adaptation in the face of changing interactions.  ... 
doi:10.4108/eai.4-8-2015.150045 fatcat:kqoppml73fh2zek3iwxgswx63y

Preface: special issue on NASA Formal Methods Symposium 2010

César A. Muñoz
2011 Innovations in Systems and Software Engineering  
The NASA Formal Methods Symposium (NFM) is an annual event intended to highlight the state of formal methods art and practice.  ...  The formal analysis of critical cyber-physical systems requires fundamental advances in the state of the art in compositional verification, state-explosion mitigation heuristics, and floating-point verification  ... 
doi:10.1007/s11334-011-0153-4 fatcat:zmgbkl7ol5gqnlpcc2nh25s76a

A Summary of Formal Specification and Verification of Autonomous Robotic Systems [article]

Matt Luckcuck, Marie Farrel, Louise A. Dennis, Michael Fisher
2019 arXiv   pre-print
This short paper summarises the contributions of Luckcuck 2019, which surveys the state-of-the-art in formal specification and verification for autonomous robotics.  ...  Formal methods for autonomous robotics have received some attention in the literature, but no resource provides a current overview.  ...  , which provides a comprehensive overview and analysis of the stateof-the-art, and identifies promising new research directions and challenges for the formal methods community.  ... 
arXiv:1911.11597v1 fatcat:zbychvfwyvasvptc2u4uo4znxu

"Playing Robot" : An Interactive Sound Installation In Human-Robot Interaction Design For New Media Art

Benjamin Buch, Pieter Coussement, Lüder Schmidt
2010 Zenodo  
We discuss the useof finite state machines to organize robots' behavioral reactions to sensor data, and give a brief outlook on structuredobservation as a potential method for data collection.  ...  and explore robots as anew medium for art and entertainment.  ...  organizers of ESCOM 2009 for giving us the opportunity to present the installation.  ... 
doi:10.5281/zenodo.1177728 fatcat:oa6y3bagybeb7ckutuwjcf6h6y

Editorial to the theme section on model-based engineering of smart systems

John Fitzgerald, Fuyuki Ishikawa, Peter Gorm Larsen
2019 Journal of Software and Systems Modeling  
Acknowledgements We are profoundly grateful to the National Informatics Institute of Japan for supporting the Shonan Meeting series, which continues to provide inspiration to scientists and technologists  ...  We thank the participants in our workshop for the stimulus to develop this theme issue.  ...  The meeting brought together scientists and engineers from a wide range of backgrounds to appraise the state of the art, develop a shared vision and prioritise challenges for future work at a range of  ... 
doi:10.1007/s10270-019-00758-5 fatcat:pojl34szfrgm7f22cp2o7yvame

Dialectical Approach to the Study of Legal Phenomena and the Processes Using General Scientific and Private-Science Methods

Marina V. Markhgeym
2018 Helix  
At that, only the "cooperation" of states has the status of a formalized principle.  ...  The article provides the arguments in favor of interaction inclusion in the category of constitutional principles based on the analysis of doctrinal approaches, international acts and the constitutional  ...  For example, the Art. 128 of the Belgian Constitution stipulates that " § 1.  ... 
doi:10.29042/2018-3511-3514 fatcat:cfolynqu7fh2hdr3iam6o7b5fe

Role Based Multi-Agent System for E-Learning (MASeL)

Mustafa Hameed, Nadeem Akhtar, Malik Saad
2016 International Journal of Advanced Computer Science and Applications  
We have proposed a role-based multi-agent system for e-learning. This multi-agent system is based on Agent-Group-Role (AGR) method.  ...  This results in a formally specified and verified model of the rolebased multi-agent system.  ...  Formal verification Formal methods are techniques based on mathematics to design and develop software systems.  ... 
doi:10.14569/ijacsa.2016.070327 fatcat:2sgennn4gzcfrk3mlifxtzkg6i


Т. О. Кulaha
2020 Zhytomyr Ivan Franko State University Journal. Рedagogical Sciences  
The article offers an analysis of native and foreign theoretical and methodological research on issues the main tendencies of modern non-formal music education in the leading countries of the world and  ...  The main problems of Ukrainian pop vocal education are noted, namely: the lack of theoretical and methodological basis and educational and textbook for institutions of specialized art education; inconsistency  ...  and others the problem of non-formal education takes up one of the most important places in the world education system.  ... 
doi:10.35433/pedagogy.2(101).2020.16-26 fatcat:6q2x6kes5benlnfxovn3ri2eem

Towards the Verification of Pervasive Systems

Myrto Arapinis, Muffy Calder, Louise Dennis, Michael Fisher, Philip Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin
2010 Electronic Communications of the EASST  
Our goal is to see to what extent current state of the art formal methods are capable of coping with the verification demand introduced by pervasive systems, and to point out their limitations.  ...  This paper describes our analysis of a pervasive case study (MATCH, a homecare application) and our proposal for formal (particularly verification) approaches.  ...  Methods At the moment, require different methods for different aspects of the system Have different ways of abstracting from real behaviour: Give three examples • Access control properties •  ... 
doi:10.14279/tuj.eceasst.22.315 dblp:journals/eceasst/ArapinisCDFGKMRRSUY09 fatcat:jbe7meuvt5eu7drjoqcnszbqt4

Advances in Addressing Challenges in Complex Control Systems Design

Arun Chakrapani Rao, Jun Liu
2014 IFAC Proceedings Volumes  
are highly relevant to the incorporation of active mechanisms for dynamic systems.  ...  This paper gives an account of various challenges that are faced in the design and development of complex control systems and software, within the automotive and aerospace domains, in particular, which  ...  Additionally, we wish to acknowledge the support of a UKIERI (UK-India Education and Research Initiative) grant: Integrated Sensing, Monitoring and Healing for Autonomous Systems.  ... 
doi:10.3182/20140313-3-in-3024.00138 fatcat:s55fifw6k5eptetm6o5zoiqbqi

Using transition systems to formalize a pattern for time dependable applications

Haeusler, Da Fontoura
1999 Engineering Solutions for the Next Millennium 1999 IEEE Canadian Conference on Electrical and Computer Engineering (Cat No 99TH8411) CCECE-99  
This paper presents an example of the use of transition systems to formalize a pattern for soft real-time systems.  ...  The importance of this relies on the fact that this formalization can be used as a guide to a mapping from projects to transition systems based model-checkers.  ...  Acknowledgments The authors would like to thank A. Haeberer, T. Maibaum, and J. Fiadeiro for their contribution to this work.  ... 
doi:10.1109/words.1999.806588 dblp:conf/words/HaeuslerF99 fatcat:4stip3fxzzfxphoinolm3cvsxy

Linda Candy, Sam Ferguson (Eds.): Interactive Experience in the Digital Age. London: Springer. 2014

Elizabeth Jochum
2015 MedieKultur: Journal of Media and Communication Research  
formal methods of evaluation.  ...  The findings have far-reaching implications for research methodologies in Practice Based Research (PBR), and cast new light on how audiences interact with art works and how practitioners incorporate digital  ...  formal methods of evaluation.  ... 
doi:10.7146/mediekultur.v31i58.17457 fatcat:wrqkumvio5elvcr4rl4m3433iq

Page 2288 of Mathematical Reviews Vol. 56, Issue 6 [page]

1978 Mathematical Reviews  
Authors’ summary “The authors present a rigorous mathematical description of the equilibrium states for infinite systems of particles on the basis of the canonical formalism.  ...  I. 17652 The mathematical description of the equilibrium state of classical systems on the basis of the formalism of a canonical easemble. (Russian. English summary) Teoret. Mat.  ... 

00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods [chapter]

Oscar Pastor, Emilio Insfrán, Vicente Pelechano, José Romero, José Merseguer
2013 Seminal Contributions to Information Systems Engineering  
00-Method is an 00 Methodology that blends the use of formal specification systems with conventional 00 methodologies based on practice.  ...  This is achieved by defining an execution model which gives the pattern for obtaining a concrete implementation in a declarative or an imperative software development environment (depending on the user  ...  Our contribution to this state of the art is based on the idea that these two approaches can be mixed.  ... 
doi:10.1007/978-3-642-36926-1_11 fatcat:e6q4qxwc2fhqno7ka2jij4au44
« Previous Showing results 1 — 15 out of 307,696 results