711,706 Hits in 2.5 sec

Foundations for using linear temporal logic in Event-B refinement

Thai Son Hoang, Steve Schneider, Helen Treharne, David M. Williams
2016 Formal Aspects of Computing  
The sections have been split into two so that it is clear what refinements Foundations for using linear temporal logic in Event-B refinement 911 proof obligations would need to be carried out in practice  ...  Formally, we denote the refinement relation between two machines, written M M , when all the following proof obligations hold for every event: feasibility FIS REF, guard strengthening GRD REF and invariant  ...  Acknowledgements Thanks to Thierry Lecomte for discussions about Event-B and its practical use. We are also grateful to the reviewers for their thorough and detailed comments on this paper.  ... 
doi:10.1007/s00165-016-0376-0 fatcat:v25b53mribedfdtwtp6na5fvwy

The stream-based service-centred calculus: a foundation for service-oriented programming

Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos
2013 Formal Aspects of Computing  
Concerning the modeling part, we want to emphasize here some aspects.  ...  We give a formal account of SSCC, a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocols that services follow when invoked (conversation  ...  Acknowledgements This work was partially supported by the Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) through the CITI and the LASIGE strategic projects PEst-OE  ... 
doi:10.1007/s00165-013-0284-5 fatcat:ydrore5qz5fqlgf3lvs2uewl2a

Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems

Egon Börger
2007 Formal Aspects of Computing  
We explain why for the verified software challenge proposed in [66, 67] to gain practical impact, one needs to include rigorous definitions and analysis, prior to code development and comprising both experimental  ...  We outline the Abstract State Machines (ASM) method, a discipline for reliable system development which allows one to bridge the gap between informal requirements and executable code by combining application-centric  ...  Acknowledgement We thank Peter Sestoft for having directed our attention to Naur's paper [78] and Natarajan Shankar for making us aware that the need for the concept of "ground model" has recently been  ... 
doi:10.1007/s00165-006-0019-y fatcat:2uu56yo52ffkhblbcaoqojdtoe

What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project [chapter]

Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden
2009 Lecture Notes in Computer Science  
in practical SE Architecture (3) Component-based development, Software patterns, Aspect-orientation Formal Specification (3) Foundations, Applications, and Security aspects Model Checking (  ...  4) Foundations, Applications, Concurrency aspects, Real-time aspects Requirements Analysis (4) Goal-oriented analysis, Elicitation and Identification, Security aspects, Early analysis Implementation  ... 
doi:10.1007/978-3-642-04912-5_5 fatcat:yk6nabuivvactpfdcy66hetpy4

Computerizing Mathematical Text with MathLang

Fairouz Kamareddine, J.B. Wells
2008 Electronical Notes in Theoretical Computer Science  
.), which capture the full mathematical meaning and have proofs expressed in a formal foundation of mathematics.  ...  Methods are provided for adding, checking, and displaying various information aspects.  ...  Frege's Grundgesetze was the culmination of his work on building a formal foundation for mathematics.  ... 
doi:10.1016/j.entcs.2008.03.063 fatcat:km2j4mpujfarpbhkxrn5evu7eq

Idempotent Relations in Isabelle/HOL [chapter]

Florian Kammüller, J. W. Sanders
2005 Lecture Notes in Computer Science  
Towards Type Safety of Aspect-Oriented Languages. In Foundations of Aspect-Oriented Languages, Satellite Workshop to AOSD 06, March 2006. • F. Kammüller.  ...  Property Preserving Abstraction for Statecharts. In 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, Taipei, Taiwan.  ... 
doi:10.1007/978-3-540-31862-0_23 fatcat:kcex3fvolzbqbgtwxkybg3qcoq


John Derrick, Eerke Boiten
2005 Electronical Notes in Theoretical Computer Science  
, tool support for formal software development, and practical experience with formal refinement methodologies.  ...  Refinement is one of the cornerstones of a formal approach to software engineering.  ...  A special issue of the journal Formal Aspects of Computing (FACS) was also devoted to the workshop, see Formal Aspects of Computing, 15(2), November 2003. • Compositional and modular reasoning • Object-orientation  ... 
doi:10.1016/j.entcs.2005.04.021 fatcat:27omnj3bozdb7eks23vq4xnkiy

Foundational aspects of security

Konstantinos Chatzikokolakis, Sebastian Alexander Mödersheim, Catuscia Palamidessi, Jun Pang, Konstantinos Chatzikokolakis, Sebastian Alexander Mödersheim, Catuscia Palamidessi, Jun Pang
2014 Journal of Computer Security  
Foundational aspects of security This Special Issue of the Journal of Computer Security focuses on foundational aspects of security, which in recent years have helped change much of the way we think about  ...  The proposed system and parts of the soundness proof are formalized in Coq.  ...  Preface: Foundational aspects of security The last decades had witnessed an increasing interest in formal approaches to the design, analysis and verification of security protocols, which had lead, on one  ... 
doi:10.3233/jcs-140497 fatcat:4o6leahvxbaqzcgabnfzboyy3u

Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin

Andrew Butterfield
2003 Electronical Notes in Theoretical Computer Science  
The FACS Project The FACS project 2 (Formal Aspects of CORBA) was tasked with trying to build a formal model of some aspects of the Common Object Request Broker Architecture (CORBA) middleware standard  ...  In more recent times, the emphasis has been on more complex structures [25, 18, 26] , with particular emphasis on topos theory, as a source of mathematical foundations for formalisms to reason about complex  ... 
doi:10.1016/s1571-0661(04)80830-2 fatcat:srn4r346f5fmbiemqf45wprchu

How Formal Ontology can help Civil Engineers [chapter]

Stefano Borgo
2007 Studies in Computational Intelligence  
1 This claim does not want to contrast their usefulness which is even higher today essentially for the improvement of modern informatics systems.  ...  Acknowledgement Most of the work reported in this paper is the result of research developed at the Laboratory for Applied Ontology (LOA) in Trento.  ...  Foundational ontologies are formal ontologies that provide a structure for the most general types of entities.  ... 
doi:10.1007/978-3-540-71976-2_4 fatcat:gyojludmxzer3o4zo37adzgu3i


Stefania Gnesi, Ana Cavalcanti, John Fitzgerald, Constance Heitmeyer
2019 Formal Aspects of Computing  
From the 43 regular papers accepted at FM 2016, the editors invited the authors of the most highly rated papers to submit extended versions for publication in this special issue of Formal Aspects of Computing  ...  The five selected papers reflect the symposium's objective which is to advance both the foundations and the practical application of formal methods.  ...  From the 43 regular papers accepted at FM 2016, the editors invited the authors of the most highly rated papers to submit extended versions for publication in this special issue of Formal Aspects of Computing  ... 
doi:10.1007/s00165-019-00481-4 fatcat:6mefal5ndfe4vbaqmxovkdij2i

Special issue on foundations of aspect-oriented programming

Pascal Fradet, Ralf Lämmel
2006 Science of Computer Programming  
between aspects and generics; (v) a notion of aspects for reactive systems based on synchronous languages.  ...  This SCP special collects articles that make contributions to the foundations of aspect-oriented programming (AOP).  ...  The call for papers mentioned the following themes of interest: • Reasoning about aspect-oriented programs. • Semantics of aspects and weaving. • Formal aspect languages or calculi. • Formal properties  ... 
doi:10.1016/j.scico.2006.07.001 fatcat:qdobp2cxwfckbnaifplpc6u3le

Editors' Introduction

Michael Glanzberg, Barbara H Partee, Jurģis Šķilters
2010 The Baltic International Yearbook of Cognition, Logic and Communication  
At the University of Latvia, we are grateful for the support of the Rector, Prof. Mārcis Auziņš, the Dean of Social Sciences, Prof.  ...  Stainton for being a part of program committee. Publication of the Yearbook is partly supported by the European Regional Development Fund, Project No.  ...  Balancing the abstract and mathematical aspects of a formal science with its empirical content remains an important issue, both for empirically focused and foundationally minded researchers.  ... 
doi:10.4148/biyclc.v6i0.1561 fatcat:a5n27cpqrnclvhxmsrjugk65bm

Ontology-Based Liability Decision Support in the International Maritime Law [chapter]

Mirna El Ghosh, Habib Abdulrab
2020 Frontiers in Artificial Intelligence and Applications  
CargO-S has been developed using an ontology-driven conceptual modeling process, supported by reusing foundational and legal core ontologies.  ...  In this work, we demonstrate the usability of CargO-S to design and implement a set of chained rules describing the procedural aspect of the liabilities legal rules.  ...  For the modeling process, a core ontology pattern (Right duty to an Action) is applied by analogy with the legal rule for representing its procedural aspect.  ... 
doi:10.3233/faia200882 fatcat:eodqglcimvgpjpju4lllrmtmsu

19th international workshop on foundations of object-oriented languages (FOOL'12)

Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland
2012 Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12  
aspects, components, and meta-programming.  ...  The purpose of this workshop is to provide a forum for discussing new ideas in the foundations of object-oriented languages and provide feedback to authors.  ...  Furthermore, FOOL fills a need for a foundational language workshop at SPLASH.  ... 
doi:10.1145/2384716.2384785 dblp:conf/oopsla/SiekAB12 fatcat:pptdvtu7ybc55jhkrflqklbizi
« Previous Showing results 1 — 15 out of 711,706 results