Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Visualizing and querying software structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Software reflexion models: bridging the gap between source and high-level models
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Monitoring compliance of a software system with its high-level design models
Proceedings of the 18th international conference on Software engineering
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
Law-governed regularities in object systems. Part 2: a concrete implementation
Theory and Practice of Object Systems
An abstract machine for tabled execution of fixed-order stratified logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Relation partition algebra — mathematical aspects of uses and part-of relations
Science of Computer Programming
Obvious or not?: regulating architectural decisions using aspect-oriented programming
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Design erosion: problems and causes
Journal of Systems and Software
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Why Should Architectural Principles be Enforced?
CSDA '98 Proceedings of the Conference on Computer Security, Dependability, and Assurance: From Needs to Solutions
Specifying framework constraints with FCL
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Efficient Relational Calculation for Software Analysis
IEEE Transactions on Software Engineering
abc: an extensible AspectJ compiler
Proceedings of the 4th international conference on Aspect-oriented software development
Incremental and demand-driven points-to analysis using logic programming
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
A pattern enforcing compiler (PEC) for Java: using the compiler
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
Concern modeling in the concern manipulation environment
MACS '05 Proceedings of the 2005 workshop on Modeling and analysis of concerns in software
CodeQuest: querying source code with datalog
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Automatic verification of design patterns in Java
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Generalizing Consistency Checking between Software Views
WICSA '05 Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture
Integrating and Scheduling an Open Set of Static Analyses
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Understanding Software Architectures by Visualization--An Experiment with Graphical Elements
WCRE '06 Proceedings of the 13th Working Conference on Reverse Engineering
Co-evolving code and design with intensional views
Computer Languages, Systems and Structures
Using annotations to check structural properties of classes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
CodeQuest: scalable source code queries with datalog
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Automatic incrementalization of prolog based static analyses
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Languages for formalizing, visualizing and verifying software architectures
Computer Languages
Induced intentional software views
Computer Languages, Systems and Structures
Discovering and representing systematic code changes
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Exception analysis and points-to analysis: better together
Proceedings of the eighteenth international symposium on Software testing and analysis
A dependency constraint language to manage object-oriented software architectures
Software—Practice & Experience
Strictly declarative specification of sophisticated points-to analyses
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Graph-based verification of static program constraints
Proceedings of the 2010 ACM Symposium on Applied Computing
Flexible architecture conformance assessment with ConQAT
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Assessing architectural drift in commercial software development: a case study
Software—Practice & Experience
Magic for the masses: safer high-level low-level programming through customizable static analyses
Proceedings of the 1st workshop on Modularity in systems software
The SOUL tool suite for querying programs in symbiosis with Eclipse
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Architectural point mapping for design traceability
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Using datalog for fast and easy program analysis
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Efficient and effective handling of exceptions in java points-to analysis
CC'13 Proceedings of the 22nd international conference on Compiler Construction
Modular specification and checking of structural dependencies
Proceedings of the 12th annual international conference on Aspect-oriented software development
Hybrid context-sensitivity for points-to analysis
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
An approach to automatically enforce object-oriented constraints
International Journal of Computer Applications in Technology
Hi-index | 0.00 |
Dependencies between program elements need to be modeled from different perspectives reflecting architectural, design, and implementation level decisions. To avoid erosion of the intended structure of the code, it is necessary to explicitly codify these different perspectives on the permitted dependencies and to detect violations continuously and incrementally as software evolves. We propose an approach that uses declarative queries to group source elements - across programming language module boundaries - into overlapping ensembles. The dependencies between these ensembles are also specified as logic queries. The approach has been integrated into the incremental build process of Eclipse to ensure continuous checking, using an engine for tabled and incremental evaluation of logic queries. Our evaluation shows that our approach is fast enough for day-to-day use along the incremental build process of modern IDEs.