Gandalf: software development environments
IEEE Transactions on Software Engineering
Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
European Software Factory Plan—the ESF profile
Modern software engineering, foundations and current perspectives
ICSE '91 Proceedings of the 13th international conference on Software engineering
World Wide Web Journal - Special issue on XML: principles, tools, and techniques
Referential integrity of links in open hypermedia systems
Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems
Building tightly integrated software development environments: the IPSEN approach
Building tightly integrated software development environments: the IPSEN approach
ACM Computing Surveys (CSUR)
Chimera: hypermedia for heterogeneous software development enviroments
ACM Transactions on Information Systems (TOIS)
Software—Practice & Experience
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Automatic Construction of XML-Based Tools Seen as Meta-Programming
Automated Software Engineering
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Static Consistency Checking for Distributed Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
Consistency Checking of Financial Derivatives Transactions
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Consistency Check in Modelling Multi-Agent Systems
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Design of self-managing dependable systems with UML and fault tolerance patterns
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Towards XML version control of office documents
Proceedings of the 2005 ACM symposium on Document engineering
Formal support for merging and negotiation
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Domain Consistency in Requirements Specification
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Incremental consistency checking for pervasive context
Proceedings of the 28th international conference on Software engineering
Model comparison: a foundation for model composition and model transformation testing
Proceedings of the 2006 international workshop on Global integrated model management
Hidden Implementation Dependencies in High Assurance and Critical Computing Systems
IEEE Transactions on Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Goal-Directed Context Validation for Adaptive Ubiquitous Systems
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Global consistency checking of distributed models with TReMer+
Proceedings of the 30th international conference on Software engineering
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Characterizing Relations between Architectural Views
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Semantic Verification of Web System Contents
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
A Formal Descriptive Semantics of UML
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Supporting user-oriented analysis for multi-view domain-specific visual languages
Information and Software Technology
Relationship-based change propagation: A case study
MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Automated Architecture Consistency Checking for Model Driven Software Development
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Verification of Java Programs with Interacting Analysis Plugins
Electronic Notes in Theoretical Computer Science (ENTCS)
A clustering-based approach for tracing object-oriented design to requirement
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
A fast algebraic web verification service
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
A proposal for consistency checking in dynamic software product line models using OCL
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
A survey of traceability in requirements engineering and model-driven development
Software and Systems Modeling (SoSyM)
QP based framework for development and formal verification of flight control software of UAV
AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part I
A relationship-based approach to model integration
Innovations in Systems and Software Engineering
On the systematic conformance check of software artefacts
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Concordance: a framework for managing model integrity
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
The epsilon object language (EOL)
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
EA-Analyzer: automating conflict detection in a large set of textual aspect-oriented requirements
Automated Software Engineering
| Hi-index | 0.00 |
The problem of managing the consistency of heterogeneous, distributed software engineering documents is central to the development of large and complex systems. We show how this problem can be addressed using xlinkit, a lightweight framework for consistency checking that leverages standard Internet technologies. xlinkit provides flexibility, strong diagnostics, and support for distribution and document heterogeneity. We use xlinkit in a comprehensive case study that demonstrates how design, implementation and deployment information of an Enterprise JavaBeans system can be checked for consistency, and rechecked incrementally when changes are made.