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
European Software Factory Plan—the ESF profile
Modern software engineering, foundations and current perspectives
Chimera: hypertext for heterogeneous software environments
ECHT '94 Proceedings of the 1994 ACM European conference on Hypermedia technology
ICSE '91 Proceedings of the 13th international conference on Software engineering
Building tightly integrated software development environments: the IPSEN approach
Building tightly integrated software development environments: the IPSEN approach
CHIME: customizable hyperlink insertion and maintenance engine for software engineering environments
Proceedings of the 21st international conference on Software engineering
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
ACM Computing Surveys (CSUR)
Path constraints in semistructured databases
Journal of Computer and System Sciences - Special issue on the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Requirements and Specification Exemplars
Automated Software Engineering
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Verifying Integrity Constraints on Web Sites
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Using a Query Language to State Consistency Constraints for Repositories
DEXA '96 Proceedings of the 7th International Conference on Database and Expert Systems Applications
Declarative specification of Web sites with S
The VLDB Journal — The International Journal on Very Large Data Bases
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
An infrastructure for the rapid development of XML-based architecture description languages
Proceedings of the 24th International Conference on Software Engineering
Distributed component technologies and their software engineering implications
Proceedings of the 24th International Conference on Software Engineering
Small-Scale XMI Programming: A Revolution in UML Tool Use?
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
Xspect: bridging open hypermedia and XLink
WWW '03 Proceedings of the 12th international conference on World Wide Web
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Static Consistency Checking for Distributed Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
EFFICIENT: a tool set for supporting the modelling and validation of ebXML
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 2003 ACM symposium on Document engineering
A Methodological Framework for Viewpoint-Oriented Conceptual Modeling
IEEE Transactions on Software Engineering
Schemapath, a minimal extension to xml schema for conditional constraints
Proceedings of the 13th international conference on World Wide Web
Experiences Integrating and Scaling a Performance Test Bed Generator with an Open Source CASE Tool
Proceedings of the 19th IEEE international conference on Automated software engineering
Resolving uncertainties during trace analysis
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Smart monitors for composed services
Proceedings of the 2nd international conference on Service oriented computing
A comprehensive approach for the development of modular software architecture description languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
First experiences on constraining consistency and adaptivity of W2000 models
Proceedings of the 2005 ACM symposium on Applied computing
Inconsistency detection and resolution for context-aware middleware support
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Bi-directional safety analysis of product lines
Journal of Systems and Software
Process support to help novices design software faster and better
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
Constructing Meta-CASE Workbenches by Exploiting Visual Language Generators
IEEE Transactions on Software Engineering
Incremental consistency checking for pervasive context
Proceedings of the 28th international conference on Software engineering
Instant consistency checking for the UML
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
Preservation-centric and constraint-based migration of digital documents
Proceedings of the 2006 ACM symposium on Document engineering
Support for Managing Design-Time Decisions
IEEE Transactions on Software Engineering
Incremental Maintenance of Software Artifacts
IEEE Transactions on Software Engineering
Hidden Implementation Dependencies in High Assurance and Critical Computing Systems
IEEE Transactions on Software Engineering
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Collaboration in Software Engineering: A Roadmap
FOSE '07 2007 Future of Software Engineering
Autonomous authoring tools for hypertext
ACM Computing Surveys (CSUR)
Semantic Web approach to smart link generation for Web navigations
Software—Practice & Experience
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
Towards automatic document migration: semantic preservation of embedded queries
Proceedings of the 2007 ACM symposium on Document engineering
Collaborative software engineering on large-scale models: requirements and experience in ModelBus
Proceedings of the 2008 ACM symposium on Applied computing
Detecting model inconsistency through operation-based model construction
Proceedings of the 30th international conference on Software engineering
XPath, transitive closure logic, and nested tree walking automata
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Llama-b: automatic hyperlink authoring in the blogosphere
Proceedings of the nineteenth ACM conference on Hypertext and hypermedia
On model checking multiple hybrid views
Theoretical Computer Science
Characterizing Relations between Architectural Views
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Efficient online monitoring of web-service SLAs
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
SXRS: An XLink-based Recommender System using Semantic Web technologies
Expert Systems with Applications: An International Journal
A Formal Descriptive Semantics of UML
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
A Case for ViewPoints and Documents
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Towards the automated verification of semi-structured documents
Data & Knowledge Engineering
Recursion in XQuery: put your distributivity safety belt on
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Web Sites Repairing through Abduction
Electronic Notes in Theoretical Computer Science (ENTCS)
IEICE - Transactions on Information and Systems
OWL-L: An OWL-based language for Web resources links
Computer Standards & Interfaces
Evaluating an Agent-Oriented Approach for Change Propagation
Agent-Oriented Software Engineering IX
TQL: A query language to support traceability
TEFSE '09 Proceedings of the 2009 ICSE Workshop on Traceability in Emerging Forms of Software Engineering
Early Identification of Problem Interactions: A Tool-Supported Approach
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Improving Model Quality Using Diagram Coverage Criteria
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Logic-based verification of technical documentation
Proceedings of the 9th ACM symposium on Document engineering
Maintaining constraints of UML models in distributed collaborative environments
Journal of Systems Architecture: the EUROMICRO Journal
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Transitive closure logic, nested tree walking automata, and XPath
Journal of the ACM (JACM)
Automata Games for Multiple-model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rule-based System for Web site Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Tool Integration with Triple Graph Grammars - A Survey
Electronic Notes in Theoretical Computer Science (ENTCS)
XML-based requirements engineering for an electronic clearinghouse
Information and Software Technology
Generation of repair plans for change propagation
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
A query language for navigation over links
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
Flexible and scalable consistency checking on product line variability models
Proceedings of the IEEE/ACM international conference on Automated software engineering
Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML
Proceedings of the IEEE/ACM international conference on Automated software engineering
MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations
Service Oriented Computing and Applications
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Verifying the consistency of web-based technical documentations
Journal of Symbolic Computation
Compatibility of XML language versions
SCM'01/SCM'03 Proceedings of the 2001 ICSE Workshops on SCM 2001, and SCM 2003 conference on Software configuration management
Exploring inconsistencies between modal transition systems
Software and Systems Modeling (SoSyM)
Proceedings of the 33rd International Conference on Software Engineering
Inconsistency management framework for model-based development
Proceedings of the 33rd International Conference on Software Engineering
Challenges in model-based evolution and merging of access control policies
Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution
An agent-oriented approach to change propagation in software maintenance
Autonomous Agents and Multi-Agent Systems
Rigorous identification and encoding of trace-links in model-driven engineering
Software and Systems Modeling (SoSyM)
Modelling accessibility constraints
ICCHP'06 Proceedings of the 10th international conference on Computers Helping People with Special Needs
A sparse timestamp model for managing changes in XML documents
PDCAT'04 Proceedings of the 5th international conference on Parallel and Distributed Computing: applications and Technologies
Managing SAT inconsistencies with HUMUS
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Automatically analyzing software processes: experience report
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Incremental consistency checking of dynamic constraints
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
On the systematic conformance check of software artefacts
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
WCAG formalization with w3c techniques
ICWE'05 Proceedings of the 5th international conference on Web Engineering
A knowledge-based system for improving the consistency between object models and use case narratives
Expert Systems with Applications: An International Journal
Maintaining invariant traceability through bidirectional transformations
Proceedings of the 34th International Conference on Software Engineering
Computing repair trees for resolving inconsistencies in design models
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
A lightweight approach for managing XML documents with MDE languages
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Adam: Identifying defects in context-aware adaptation
Journal of Systems and Software
Incremental consistency checking for complex design rules and larger model changes
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
Maintaining architectural conformance during software development: a practical approach
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Managing environment and adaptation risks for the internetware paradigm
Theories of Programming and Formal Methods
MDA-based visual modeling approach for resources link relationships using UML profile
Computer Standards & Interfaces
Hi-index | 0.00 |
xlinkit is a lightweight application service that provides rule-based link generation and checks the consistency of distributed Web content. It leverages standard Internet technologies, notably XML, XPath, and XLink. xlinkit can be used as part of a consistency management scheme or in applications that require smart link generation, including portal construction and management of large document repositories. In this article we show how consistency constraints can be expressed and checked. We describe a novel semantics for first-order logic that produces links instead of truth values and give an account of our content management strategy. We present the architecture of our service and the results of two substantial case studies that use xlinkit for checking course syllabus information and for validating UML models supplied by industrial partners.