An approach for supporting aspect-oriented domain modeling
Proceedings of the 2nd international conference on Generative programming and component engineering
A technique for constructing aspect weavers using a program transformation engine
Proceedings of the 3rd international conference on Aspect-oriented software development
Theory and Practice of Logic Programming
Supporting software evolution through model-driven program transformation
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Verifying aspect advice modularly
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Weaving a debugging aspect into domain-specific language grammars
Proceedings of the 2005 ACM symposium on Applied computing
Extending component-based design with hardware components
Science of Computer Programming - Special issue on new software composition concepts
A form-based meta-model for software composition
Science of Computer Programming - Special issue on new software composition concepts
Architectural styles for active documents
Science of Computer Programming - Special issue on new software composition concepts
Encapsulation of structural adaptation by composite components
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
A model-driven approach to enforce crosscutting assertion checking
MACS '05 Proceedings of the 2005 workshop on Modeling and analysis of concerns in software
Test Case Generation by OCL Mutation and Constraint Solving
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Optimal union-find in Constraint Handling Rules
Theory and Practice of Logic Programming
Current issues in software engineering for Natural Language Processing
SEALTS '03 Proceedings of the HLT-NAACL 2003 workshop on Software engineering and architecture of language technology systems - Volume 8
Classboxes: an experiment in modeling compositional abstractions using explicit contexts
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Constraint handling rules: the story so far
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
Foundations of incremental aspect model-checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Autonomic resource provisioning for software business processes
Information and Software Technology
Proceedings of the 2007 ACM symposium on Applied computing
Expander2: Program Verification Between Interaction and Automation
Electronic Notes in Theoretical Computer Science (ENTCS)
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Applications = Components + GLoo
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Random testing: from the classical approach to a global view and full test automation
Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
Constraint functional logic programming over finite domains
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Mechanization of invasive software composition in F-logic
CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
A unified Semantic Web services architecture based on WSMF and UPML
International Journal of Web Engineering and Technology
Proceedings of the 2008 ACM symposium on Applied computing
Theory of finite or infinite trees revisited
Theory and Practice of Logic Programming
Tchr: A framework for tabled clp
Theory and Practice of Logic Programming
Modularizing invasive aspect languages
Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages
Language support for model-driven software development
Science of Computer Programming
Decomposing Verification Around End-User Features
Verified Software: Theories, Tools, Experiments
A Full First-Order Constraint Solver for Decomposable Theories
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
BPM '08 Proceedings of the 6th International Conference on Business Process Management
The computational power and complexity of constraint handling rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
A compositional semantics for CHR
ACM Transactions on Computational Logic (TOCL)
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR
Recent Advances in Constraints
Snapshot Generation in a Constructive Object-Oriented Modeling Language
Logic-Based Program Synthesis and Transformation
From exponential to almost linear decomposability of finite or infinite trees
Proceedings of the 2009 ACM symposium on Applied Computing
Welcome to Constraint Handling Rules
Constraint Handling Rules
Constraint-Based Timetabling System for the German University in Cairo
Applications of Declarative Programming and Knowledge Management
RESTful Web service composition with BPEL for REST
Data & Knowledge Engineering
HyperAdapt: Enabling Aspects for XML
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Language Design for Meta-programming in the Software Composition Domain
SC '09 Proceedings of the 8th International Conference on Software Composition
Round-Trip Support for Invasive Software Composition Systems
SC '09 Proceedings of the 8th International Conference on Software Composition
Composing RESTful Services with JOpera
SC '09 Proceedings of the 8th International Conference on Software Composition
Dynamic arc consistency for CSPs
International Journal of Knowledge-based and Intelligent Engineering Systems
From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Computer Languages, Systems and Structures
A full first-order constraint solver for decomposable theories
Annals of Mathematics and Artificial Intelligence
Electronic Notes in Theoretical Computer Science (ENTCS)
A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Composition of XML Dialects: A ModelicaXML Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining Aspect-Oriented and Strategic Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation
Complexity of a CHR solver for existentially quantified conjunctions of equations over trees
CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints
Graph transformation systems in CHR
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Inference control in logic databases as a constraint satisfaction problem
ICISS'07 Proceedings of the 3rd international conference on Information systems security
Composition management interfaces for a predictable assembly
SC'07 Proceedings of the 6th international conference on Software composition
Controlling the performance overhead of component-based systems
SC'08 Proceedings of the 7th international conference on Software composition
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Component models for semantic web languages
Semantic techniques for the web
A complete and terminating execution model for constraint handling rules
Theory and Practice of Logic Programming
Safe composition of transformations
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Flexible working architectures: agile architecting using PPCs
ECSA'10 Proceedings of the 4th European conference on Software architecture
Modeling interactive storytelling genres as application domains
Journal of Intelligent Information Systems
Testing techniques in software engineering
Testing techniques in software engineering
Concern-based (de)composition of model-driven software development processes
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
A design perspective on modularity
Proceedings of the tenth international conference on Aspect-oriented software development
A study of invasive composition for the evolution of a health information system
Proceedings of the 2nd international workshop on Variability & composition
Constraint programming systems for modeling music theories and composition
ACM Computing Surveys (CSUR)
Resource-aware programming and simulation of MPSoC architectures through extension of X10
Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems
Change impact analysis in product-line architectures
ECSA'11 Proceedings of the 5th European conference on Software architecture
The Choice Calculus: A Representation for Software Variation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Parallelizing union-find in constraint handling rules using confluence analysis
ICLP'05 Proceedings of the 21st international conference on Logic Programming
On finding an inference-proof complete database for controlled query evaluation
DBSEC'06 Proceedings of the 20th IFIP WG 11.3 working conference on Data and Applications Security
The mashup component description language
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Parallelisation of sequential programs by invasive composition and aspect weaving
APPT'05 Proceedings of the 6th international conference on Advanced Parallel Processing Technologies
Using CHRs to generate functional test cases for the java card virtual machine
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
A role-based approach towards modular language engineering
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Formal Methods in Software and Systems Modeling
Specialization of concurrent guarded multi-set transformation rules
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Invited contribution: hybrid CSP solving
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
An interactive tool for the controlled execution of an automated timetabling constraint engine
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Reuse in semantic applications
Proceedings of the First international conference on Reasoning Web
Safety interfaces for component-based systems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Quantifier elimination for constraint logic programming
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
SC'05 Proceedings of the 4th international conference on Software Composition
Invasive configuration of generic components
SC'05 Proceedings of the 4th international conference on Software Composition
An MDA approach for adaptable components
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Adding abstraction and reuse to a network modelling tool using the reuseware composition framework
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Automatic checking of component protocols in component-based systems
SC'06 Proceedings of the 5th international conference on Software Composition
Dimensions of composition models for supporting software evolution
SC'06 Proceedings of the 5th international conference on Software Composition
Extension of first-order theories into trees
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Complete propagation rules for lexicographic order constraints over arbitrary domains
CSCLP'05 Proceedings of the 2005 Joint ERCIM/CoLogNET international conference on Constraint Solving and Constraint Logic Programming
GLoo: a framework for modeling and reasoning about component-oriented language abstractions
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Temporal superimposition of aspects for dynamic software architecture
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
An evaluation of mashup tools based on support for heterogeneous mashup components
ICWE'11 Proceedings of the 11th international conference on Current Trends in Web Engineering
PMG-Pro: a model-driven development method of service-based applications
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
A new end-user composition model to empower knowledge workers to develop rich internet applications
Journal of Web Engineering
Optimized composition of performance-aware parallel components
Concurrency and Computation: Practice & Experience
Computer Science Review
Incremental construction of component-based systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Towards well-formed fragment composition with reference attribute grammars
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Semantic Alliance: a framework for semantic allies
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Compiling CHR to parallel hardware
Proceedings of the 14th symposium on Principles and practice of declarative programming
A distributed staged architecture for multimodal applications
ECSA'07 Proceedings of the First European conference on Software Architecture
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
ACM Transactions on Computational Logic (TOCL)
Optimal valve placement in water distribution networks with CLP(FD)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |