KBSE 2006 - PDF Preprint Papers

KBSE 2006 Knowledge-Based Software Engineering Conference

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed KBSE-2006 Paper

click to vote

KBSE
2006
IEEE

142views Software Engineering» more KBSE 2006»

A Portable Compiler-Integrated Approach to Permanent Checking

13 years 10 months ago

Download nic.volanschi.free.fr

Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...

Eugen-Nicolae Volanschi

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Related Conferences

Id	Views	Title	Status

1	142	A Portable Compiler-Integrated Approach to Permanent Checking	claim
2	139	Detecting Precedence-Related Advice Interference	claim
3	138	Automatic Generation of Detection Algorithms for Design Defects	claim
4	136	Modularity Analysis of Logical Design Models	claim
5	128	Concurrent Engineering support in Software Engineering	claim
6	125	Reverse Engineering of Design Patterns from Java Source Code	claim
7	122	ArchTrace: Policy-Based Support for Managing Evolving Architecture-to-Implementation Traceability Links	claim
8	121	Sieve: A Tool for Automatically Detecting Variations Across Program Versions	claim
9	120	Accurate Centralization for Applying Model Checking on Networked Applications	claim
10	118	Automated Reasoning on Aspects Interactions	claim
11	118	Command-Form Coverage for Testing Database Applications	claim
12	115	Model-driven Monitoring: Generating Assertions from Visual Contracts	claim
13	112	Effective Generation of Interface Robustness Properties for Static Analysis	claim
14	111	Automatic Identification of Bug-Introducing Changes	claim
15	109	An Instant Message-Driven User Interface Framework for Thin Client Applications	claim
16	107	Managing the Complexity of Large Free and Open Source Package-Based Software Distributions	claim
17	103	Integrating and Scheduling an Open Set of Static Analyses	claim
18	102	Mining Aspects from Version History	claim
19	101	Identifying Refactorings from Source-Code Changes	claim
20	100	Software Connectors for Highly Distributed and Voluminous Data Intensive Systems	claim
21	95	Verifying Specifications with Proof Scores in CafeOBJ	claim
22	81	Differencing and Merging of Architectural Views	claim
23	74	Round-Trip Engineering of Framework-Based Software using Framework-Specific Modeling Languages	claim
24	74	Human-Friendly Line Routing for Hierarchical Diagrams	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers