The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Filters
Automatic Coding Rule Conformance Checking Using Logic Programs
[article]
2007
arXiv
pre-print
Preserved Fulltext
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
2009
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 IEEE 5th International Conference on Intelligent Computer Communication and Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2013
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity - SPLASH '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2015
Civil engineering and architecture
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
Proceedings of the 13th international conference on Software engineering - ICSE '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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
2020
Electronics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2002
Proceedings of the 14th international conference on Software engineering and knowledge engineering - SEKE '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2002
Proceedings of the 14th international conference on Software engineering and knowledge engineering - SEKE '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2002
Expert systems with applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2010
IEEE Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2008
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1999
IEEE transactions on computers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 35th Euromicro Conference on Software Engineering and Advanced Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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