Filters








37,116 Hits in 5.3 sec

Automatic Coding Rule Conformance Checking Using Logic Programs [article]

Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro
2007 arXiv   pre-print
These subsets are determined by a collection of so-called coding rules.  ...  This is realised by writing code that is constrained to a subset of the a priori admissible programs, and that, moreover, may use only a subset of the language.  ...  This work aims at defining a framework to formalise coding rules and check for conformity with them, using logic programming.  ... 
arXiv:0711.0344v1 fatcat:c3332cfuynf4lchmcq4lrc3rcq

A Coding Rule Conformance Checker Integrated into GCC

Guillem Marpons, Julio Mariño, Manuel Carro, Ángel Herranz, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo
2009 Electronical Notes in Theoretical Computer Science  
These sets of coding rules can be defined using a high-level declarative language based on logic programming, thereby making it possible to easily check code for conformance with respect to rules addressing  ...  Predictable, reliable tools are needed to automatically measure adherence to these practices, as manually checking for compliance is cumbersome.  ...  However, an automatic method to check code for conformance is needed 6 for coding rules to be of practical use, no matter who devises the coding rule set or dictates its use.  ... 
doi:10.1016/j.entcs.2009.07.065 fatcat:bb3pdmv5kraabcvxhgc4otzt5y

Testing techniques for a logic representation generator

Ciprian-Bogdan Chirila, Calin Jebelean, Krisztina Francz
2009 2009 IEEE 5th International Conference on Intelligent Computer Communication and Processing  
Logic based representation can be used for expressing programs and models driven by a grammar. Thus, model analysis and transformation written as declarative paradigm rules can be more expressive.  ...  Usually, logic representations are obtained by translators which must be tested as any other software artifacts. We present several testing techniques in the context of logic based representation.  ...  Using logic representation for programs allows writing analysis and transformation rules using declarative languages.  ... 
doi:10.1109/iccp.2009.5284758 fatcat:24dsigungbfmfkfjpusqclwpgu

Ultimate architecture enforcement

Paulo Merson
2013 Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity - SPLASH '13  
Static analysis tools, which are often used to check coding conventions and best practices, can help.  ...  In addition, we created a script that executes automatically on the Subversion software configuration management server prior to any code commit operation.  ...  in the code by the thousands.  ... 
doi:10.1145/2508075.2508433 dblp:conf/oopsla/Merson13 fatcat:4ggwtabdqbewleecgbkun3ecfq

Methods for Computable Building Codes

Nawari. O. Nawari, Adel Alsaffar
2015 Civil engineering and architecture  
Within the framework of Building Information Modeling (BIM) work process, model checking against building regulations is generally needed to be an automatic or semi-automatic process.  ...  The necessity for computable representation of the building codes and regulations for automating the code checking process is becoming ever more critical.  ...  Scholar Program for funding and supporting this research.  ... 
doi:10.13189/cea.2015.030601 fatcat:g3o4wnsiivhunp3ln5fvfs5ehi

Automatic modularity conformance checking

Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin Sullivan
2008 Proceedings of the 13th international conference on Software engineering - ICSE '08  
We present an automated approach to check the conformance of implemented modularity to designed modularity, using design structure matrices as a uniform representation for both.  ...  Our experiments suggest that our approach has the potential to manifest the decoupling effects of design rules in code, and to detect modularity deviation caused by implementation faults.  ...  Our conformance checking framework uses DSMs to uniformly represent design modular structure (Model DSM) and source code modular structure (Sample DSM), and automatically clusters the Sample DSM, generating  ... 
doi:10.1145/1368088.1368144 dblp:conf/icse/HuynhCSS08 fatcat:f2see54tp5eclbqc3e2vjk4lwi

Smart Contract Engineering

Kai Hu, Jian Zhu, Yi Ding, Xiaomin Bai, Jiehua Huang
2020 Electronics  
It is written in a simplified programming language that is specific to a particular domain.  ...  Not only correctness and unambiguity are its essential formal properties, but also conformance to any legislation governing the matter of the transaction.  ...  VerX [25] uses temporal logic and model checking to automatically prove the temporal safety properties of Ethereum smart contracts.  ... 
doi:10.3390/electronics9122042 fatcat:iicvotm52fbr3b5jwtxhcxxvbu

Maintaining software through intentional source-code views

Kim Mens, Tom Mens, Michel Wermelinger
2002 Proceedings of the 14th international conference on Software engineering and knowledge engineering - SEKE '02  
Finally, they enable us to specify knowledge developers have about source code that is not captured by traditional program documentation mechanisms.  ...  Our intentional view model is implemented in a logic metaprogramming language that can reason about and manipulate object-oriented source code directly.  ...  This situation obviously has an impact on the behaviour of a logic program that uses this rule. In the best case, the program is much slower and produces duplicate results.  ... 
doi:10.1145/568760.568812 dblp:conf/seke/MensMW02 fatcat:nppegx5d5jf5dluqkcnlpo7b7e

Maintaining software through intentional source-code views

Kim Mens, Tom Mens, Michel Wermelinger
2002 Proceedings of the 14th international conference on Software engineering and knowledge engineering - SEKE '02  
Finally, they enable us to specify knowledge developers have about source code that is not captured by traditional program documentation mechanisms.  ...  Our intentional view model is implemented in a logic metaprogramming language that can reason about and manipulate object-oriented source code directly.  ...  This situation obviously has an impact on the behaviour of a logic program that uses this rule. In the best case, the program is much slower and produces duplicate results.  ... 
doi:10.1145/568810.568812 fatcat:qkl56gm7incxtmjnwpqzxjvjfa

Supporting software development through declaratively codified programming patterns

Kim Mens, Isabel Michiels, Roel Wuyts
2002 Expert systems with applications  
By querying the logic system, these rules allow us to check, enforce and search for occurrences of certain patterns in the software.  ...  We declare programming patterns as logic rules on top of these clauses.  ...  By querying the logic system, the rules can be used to check, detect, search for occurrences of and even generate code fragments from programming patterns.  ... 
doi:10.1016/s0957-4174(02)00076-3 fatcat:vetjsctxtvflrn3dcfrgjvshnm

Static Architecture-Conformance Checking: An Illustrative Overview

Leonardo Passos, Ricardo Terra, Marco Tulio Valente, Renato Diniz, Nabor das Chagas Mendonca
2010 IEEE Software  
In this paper, we compare and illustrate the use of three static architecture conformance techniques, namely dependency structure matrices, source code query languages, and reflexion models.  ...  To highlight the similarities and differences between the three techniques, we describe how some of their available supporting tools can be applied to specify and check architectural constraints for a  ...  Sidebar: Related Work on Architecture Conformance In this sidebar, we describe other relevant related work on architecture conformance.  ... 
doi:10.1109/ms.2009.117 fatcat:xemrevlgkzfopoainlhwjbcaae

Reasoning about Metamodeling with Formal Specifications and Automatic Proofs [chapter]

Ethan K. Jackson, Tihamér Levendovszky, Daniel Balasubramanian
2011 Lecture Notes in Computer Science  
The work of [5] uses MAUDE [10] to check metamodel/model conformance and linear temporal logic (LTL) properties via term rewriting systems.  ...  In this paper we present one approach to this problem: Metamodeling frameworks are specified modularly using algebraic data types and constraint logic programming (CLP).  ...  Automatically deciding such a property may very well require symbolic model checking in addition to the techniques illustrated here.  ... 
doi:10.1007/978-3-642-24485-8_48 fatcat:b3odvy2gonfvfnir5qz635e2ca

A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs

Tiago Massoni, Rohit Gheyi, Paulo Borba
2008 Electronical Notes in Theoretical Computer Science  
In our framework, a syntactic mapping between model and program elements must be provided, yielding a coupling relation, used in framework instantiations for specific conformance relationships.  ...  A more flexible conformance notion must be addressed by conformance checking tools and model-driven development.  ...  Our framework can be useful for conformance checking tools. Conformance checking tools consist in automatically verifying whether an implementation is in conformance with a given model.  ... 
doi:10.1016/j.entcs.2007.08.033 fatcat:5vx57wy4lndl5jwy2llw54qs7e

An executable specification and verifier for relaxed memory order

Seungjoon Park, D.L. Dill
1999 IEEE transactions on computers  
The automatic verifier can be used to generate all possible outcomes of small assembly language multiprocessor programs in a given memory model, which is very helpful for understanding the subtleties of  ...  The verifier can also check the correctness of assembly language programs including synchronization routines.  ...  Finally, Mur9 can check many common liveness and fairness properties using a subset of linear-time temporal logic.  ... 
doi:10.1109/12.752664 fatcat:lozxjinygnc3fhtt6s3tn4ogyy

Dynamic Software Architecture Development: Towards an Automated Process

Maurice H. Ter Beek, Antonio Bucchiarone, Stefania Gnesi
2009 2009 35th Euromicro Conference on Software Engineering and Advanced Applications  
This process is based on the sequential application of a number of formal methods and tools, and it can support software architects throughout the design, analysis and code generation of software systems  ...  Regarding code generation we aim to introduce aspects like reconfiguration rules in the JAVA code, modelled by graph grammar rules, to strongly relate the code to programmed dynamic reconfiguration.  ...  The graph-based design produced in the first phase allows the use of model checking in the second phase to automatically verify correctness properties of the design.  ... 
doi:10.1109/seaa.2009.11 dblp:conf/euromicro/BeekBG09 fatcat:jylypu73rvdg7h4g3wrzfr3bou
« Previous Showing results 1 — 15 out of 37,116 results