Filters








402,472 Hits in 7.4 sec

The Role of Abstract Interpretation in Formal Methods

Patrick Cousot
2007 Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)  
Abstract Interpretation Abstract interpretation [3, 8] is a theory of sound approximation of mathematical structures, in particular those involved in the description of the behavior of computer systems  ...  s t n r t . . c o Co f u i @e s k a P r Formal methods In computer science and software engineering, formal methods are mathematically-based techniques for the specification, development and verification  ...  Formal methods In computer science and software engineering, formal methods are mathematically-based techniques for the specification, development and verification of software and hardware systems.  ... 
doi:10.1109/sefm.2007.42 dblp:conf/sefm/Cousot07 fatcat:o4ibupglszeebd25nfun2xua54

Formal verification of a proof procedure for the description logic ALC

Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker
2013 Electronic Proceedings in Theoretical Computer Science  
In order to ensure the soundness of derivations in these DLs, it is necessary to formally verify the deductions applied by these reasoners.  ...  Description Logics (DLs) are a family of languages used for the representation and reasoning on the knowledge of an application domain, in a structured and formal manner.  ...  of interpretation ∆ I and roles as subsets of the product ∆ I × ∆ I .  ... 
doi:10.4204/eptcs.122.5 fatcat:75xtsyptujfq5jxhiasaho7xfq

A Paradigmatic Analysis of Conventional Approaches for Developing and Managing Secure IS [chapter]

Mikko T. Siponen
2001 IFIP Advances in Information and Communication Technology  
These approaches will be analyzed in the light of I) the research objectives; II) the organizational role of IS security; III) research approaches used; IV) applicability; and V) a conceptual meta-model  ...  Because the methods of development for Information Systems (IS) do not pay attention to security aspects, several information systems (ISS) security methods have been presented.  ...  Originally (Iivari, 1989) , the levels are in order of abstraction. Hence, for example, the conceptual level can be seen as an abstraction of the organizational level.  ... 
doi:10.1007/0-306-46998-7_30 fatcat:m2bt6lsab5dvhpm3x6c5nto46m

Java Bytecode Verification by Model Checking [chapter]

David Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt
1999 Lecture Notes in Computer Science  
The bytecode for a Java method M constitutes a state transition system where the states are defined by the states of the Java The opinions expressed in this paper are those of the authors and do not necessarily  ...  Approach We provide a formal foundation to bytecode verification based on model checking. The idea, which has similarities with data flow analysis and abstract interpretation [Sch98], is as follows.  ...  Since only finitely many types appears in each method, the resulting abstraction M fin is finite; the size of the state-space is exponential in the number of local variables and the maximal stack height  ... 
doi:10.1007/3-540-48683-6_43 fatcat:4dh6pisfmnavvhobcr47hfp6ja

Preface by the section editors

Lenore Zuck, Paul Attie, Agostino Cortesi
2004 International Journal on Software Tools for Technology Transfer (STTT)  
This research was initially presented at the 4th International Conference on Verification, Model Checking, and Abstract Interpretation (VM-CAI '03).  ...  The papers in this special section present a sample of recent approaches to modeling and verification of software-based systems.  ...  Introduction The crucial role of rigorous and formal methods in specification, verification, and analysis of software systems has long been recognized.  ... 
doi:10.1007/s10009-004-0144-y fatcat:uo3ae5orsvhwtpl22zcbompge4

A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming [chapter]

Jaime Pavlich-Mariscal, Laurent Michel, Steven Demurjian
2005 Lecture Notes in Computer Science  
Our prior research focused on formalizing the concept of a role slice, which is a unified modeling language (UML) artifact that captures RBAC security requirements by defining permissions in the form of  ...  This paper augments this effort by introducing a formal framework for the security of software applications that supports the automatic translation of a role-slice access-control policy (RBAC requirements  ...  A role slice is a record P P, N P, abstract , where P P is the set of methods with positive permissions, N P is the set of methods with negative permissions, and abstract indicates whether the role slice  ... 
doi:10.1007/11557432_41 fatcat:r4kqdflj5vcujd5lca5np42c7u

Page 430 of Journal of Group Psychotherapy, Psychodrama and Sociometry Vol. 1, Issue 4 [page]

1948 Journal of Group Psychotherapy, Psychodrama and Sociometry  
But these highly formalized methods need to be examined anyway. ~~ —— SC tio cu the inf of ove lem to |  ...  Indeed, it may turn out that the most fruitful use of psychodramatic role-playing in the educational process will be as a supplementary device in various fields of knowledge — history and the social sciences  ... 

History of Abstract Interpretation

Roberto Giacobazzi, Francesco Ranzato
2021 IEEE Annals of the History of Computing  
We trace the roots of abstract interpretation and its role as a foundational principle to understand and design static program analysis and verification methods.  ...  Starting from the historical roots of formal methods and static program analysis, we show how abstract interpretation evolved and influenced the way we reason about program correctness in different programming  ...  ACKNOWLEDGMENTS This article follows a talk [83] given at the workshop on the History of Formal Methods (HFM 2019), held in Porto, Portugal, on 11th October 2019, as part of the 2019 Formal Method World  ... 
doi:10.1109/mahc.2021.3133136 fatcat:aydiutus65g6jppcic53whu3wq

A Solution Based on Modeling and Code Generation for Embedded Control System

Guohua WU, Dongwu CHENG, Zhen ZHANG
2009 Journal of Software Engineering and Applications  
With the development of computer technology, embedded control system plays an important role in modern industry.  ...  The final cross-platform codes are automatically generated by different templates and xml format document. This development method can reduce time and cost in the lifecycle of system development.  ...  In addition, the code generated by Giotto complier is timing-code. Model-based development method is from high level abstraction to build application.  ... 
doi:10.4236/jsea.2009.23023 fatcat:a7alz2mxjvh2tadtl2adw534xq

Gödel and the language of mathematics

Jovana Kostic
2015 Belgrade Philosophical Annual  
According to an alternative interpretation presented here, Gödel believed that the language of mathematics has an important role in acquiring knowledge of the abstract mathematical world.  ...  One possible explanation of that role is proposed. 2  ...  We can begin by considering the role of formal language in our understanding of concepts.  ... 
doi:10.5937/bpa1528045k fatcat:42xdrpvx2ne2fjtmhstq2lfv4e

The Role of Context in Practice-Based Organizational Learning and Performance Improvement [chapter]

John Hegarty, Patrick Brézillon, Frédéric Adam
2013 Lecture Notes in Computer Science  
Results are presented for a transport planning organization that elucidate the role of context in practice-based organizational learning and performance improvement in the case of an activity (light rail  ...  prioritization matrix operationalize the construct of practice maturity that is proposed as a guide for researchers and practitioners in understanding and improving practice-based activity management.  ...  Role-dependency can be captured in a route selection contextual graph by collecting practices that interpret the same role 4 .  ... 
doi:10.1007/978-3-642-40972-1_5 fatcat:7qeozk5e3fa6jhte4vty2gf7ba

Page 570 of Psychological Abstracts Vol. 55, Issue 3 [page]

1976 Psychological Abstracts  
The concept of individuals’ role images is used to interpret the clash between bureaucratic and professional forces in welfare agencies as related to the political fate of social reform in capitalistic  ...  It is contended that welfare bureaucrats reduce formally stated role schemes in order to cope.  ... 

Towards a Semantics of Activity Diagrams with Semantic Variation Points [article]

Hans Grönninger, Dirk Reiß, Bernhard Rumpe
2014 arXiv   pre-print
A formal semantics has to capture the flexibility of the interpretation of activity diagrams in real systems, which makes it inappropriate to define a fixed formal semantics.  ...  In this paper, we define a semantics with semantic variation points that allow for a customizable, application-specific interpretation of activity diagrams.  ...  This is the aim of the next section. Variants In this section two variants of activity diagram interpretations are introduced. The degree of formality varies.  ... 
arXiv:1409.2366v1 fatcat:4jo7azjyxban3hzm2tiinpub34

Towards a Semantics of Activity Diagrams with Semantic Variation Points [chapter]

Hans Grönniger, Dirk Reiß, Bernhard Rumpe
2010 Lecture Notes in Computer Science  
A formal semantics has to capture the flexibility of the interpretation of activity diagrams in real systems, which makes it inappropriate to define a fixed formal semantics.  ...  In this paper, we define a semantics with semantic variation points that allow for a customizable, application-specific interpretation of activity diagrams.  ...  This is the aim of the next section. Variants In this section two variants of activity diagram interpretations are introduced. The degree of formality varies.  ... 
doi:10.1007/978-3-642-16145-2_23 fatcat:c3c6m2v7rbbojkcbq4rjwm52ii

SIMULATION AS FORMAL AND GENERATIVE SOCIAL SCIENCE: THE VERY IDEA

NUNO DAVID, JAIME SIMÃO SICHMAN, HELDER COELHO
2007 Worldviews, Science and Us  
The use of formal conceptions of computation for describing simulation is refuted; the roles of programming languages according to intentional accounts of computation are identified; and the roles of iconographic  ...  The formal and empirical-generative perspectives of computation are demonstrated to be inadequate to secure the goals of simulation in the social sciences.  ...  The use of abstract languages confirms that the method of simulation incorporates formal and empirical methodologies.  ... 
doi:10.1142/9789812707420_0017 fatcat:bg6tg7xaejfibhabkauqwssede
« Previous Showing results 1 — 15 out of 402,472 results