Search results for "well-formedness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Atze Dijkstra, S. Doaitse Swierstra	Ruler: Programming Type Rules.	FLOPS	2006	DBLP DOI BibTeX RDF
15	Filippo Geraci, Marco Pellegrini 0001, Marco Maggini, Fabrizio Sebastiani 0001	Cluster Generation and Cluster Labelling for Web Snippets: A Fast and Accurate Hierarchical Solution.	SPIRE	2006	DBLP DOI BibTeX RDF
15	Anarosa Brandão, Viviane Torres da Silva, Carlos José Pereira de Lucena	Observed-MAS: An Ontology-Based Method for Analyzing Multi-Agent Systems Design Models.	AOSE	2006	DBLP DOI BibTeX RDF
15	Toshiro Takase, Hisashi Miyashita, Toyotaro Suzumura, Michiaki Tatsubori	An adaptive, fast, and safe XML parser based on byte sequences memorization.	WWW	2005	DBLP DOI BibTeX RDF	XML parsers, automata, SAX
15	Henning Makholm, J. B. Wells	Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close.	ESOP	2005	DBLP DOI BibTeX RDF
15	Kathrin Konczak, Ralf Vogel 0001	Abduction and Preferences in Linguistics.	LPNMR	2005	DBLP DOI BibTeX RDF
15	Warren A. Hunt Jr., Erik Reeber	Formalization of the DE2 Language.	CHARME	2005	DBLP DOI BibTeX RDF
15	Rodion M. Podorozhny, Dewayne E. Perry, Leon J. Osterweil	Automatically Analyzing Software Processes: Experience Report.	ISPW	2005	DBLP DOI BibTeX RDF
15	Kilian A. Foth, Michael Daum 0004, Wolfgang Menzel	Parsing Unrestricted German Text with Defeasible Constraints.	CSLP	2004	DBLP DOI BibTeX RDF
15	Gerald Penn, Frank Richter 0001	The Other Syntax: Approaching Natural Language Semantics Through Logical Form Composition.	CSLP	2004	DBLP DOI BibTeX RDF
15	Michal Smialek	Profile Suite for Model Transformations on the Computation Independent Level.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
15	Hanna Bauerdick, Martin Gogolla, Fabian Gutsche	Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report.	UML	2004	DBLP DOI BibTeX RDF
15	Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler	Modeling Business Processes in Web Applications with ArgoUWE.	UML	2004	DBLP DOI BibTeX RDF
15	Vinay Kulkarni, Sreedhar Reddy	Model-Driven Development of Enterprise Applications.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
15	Ran Canetti, Shai Halevi, Jonathan Katz	Chosen-Ciphertext Security from Identity-Based Encryption.	EUROCRYPT	2004	DBLP DOI BibTeX RDF
15	Vincent Quint, Irène Vatton	Techniques for authoring complex XML documents.	ACM Symposium on Document Engineering	2004	DBLP DOI BibTeX RDF	structured editing, style languages, XML, direct manipulation, authoring tools, CSS, compound documents
15	José Miguel Fuentes, Víctor Quintana, Juan Lloréns, Gonzalo Génova, Rubén Prieto-Díaz	Errors in the UML metamodel?	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF
15	Nerissa Tong	Database Schema Transformation Optimisation Techniques for the AutoMed System.	BNCOD	2003	DBLP DOI BibTeX RDF
15	Christopher J. Turner, T. C. Nicholas Graham, Christopher Wolfe, Julian Ball, David Holman, Hugh D. Stewart, Arthur G. Ryman	Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations.	ASE	2003	DBLP DOI BibTeX RDF
15	Paolo Terenziani, Stefania Montani, Alessio Bottrighi, Mauro Torchio, Gianpaolo Molino, Luca Anselma, Gianluca Correndo	Applying Artificial Intelligence to Clinical Guidelines: The GLARE Approach.	AI*IA	2003	DBLP DOI BibTeX RDF
15	Caroline Brun, Marc Dymetman, Eric Fanchon, Stanislas Lhomme, Sylvain Pogodalla	Semantically-based text authoring and the concurrent documentation of experimental protocols.	ACM Symposium on Document Engineering	2003	DBLP DOI BibTeX RDF	concurrent documentation, constrained document specification, experimental protocols, XML, logic programming, XML-schemas, natural language generation, document authoring
15	Nadia Bouassida, Hanêne Ben-Abdallah, Faïez Gargouri, Abdelmajid Ben Hamadou	Formalizing the Framework Design Language F-UML.	SEFM	2003	DBLP DOI BibTeX RDF
15	Wolfgang Menzel	Parsing mit inkonsistenten Grammatiken.	Kognitionswissenschaft	2002	DBLP DOI BibTeX RDF
15	Yan Jin, Robert Esser, Jörn W. Janneck	Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment.	Diagrams	2002	DBLP DOI BibTeX RDF
15	Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens	Enriching OCL Using Observational Mu-Calculus.	FASE	2002	DBLP DOI BibTeX RDF
15	Christine Röckl, Daniel Hirschkoff, Stefan Berghofer	Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts.	FoSSaCS	2001	DBLP DOI BibTeX RDF
15	Henk Barendregt	Computing and Proving.	RTA	2001	DBLP DOI BibTeX RDF
15	Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski	Model Checking Communication Protocols.	SOFSEM	2001	DBLP DOI BibTeX RDF
15	Thomas Bittner, Barry Smith 0001	A Taxonomy of Granular Partitions.	COSIT	2001	DBLP DOI BibTeX RDF
15	Richard F. Paige, Jonathan S. Ostroff	Metamodelling and Conformance Checking with PVS.	FASE	2001	DBLP DOI BibTeX RDF
15	Miro Casanova, Thomas Wallet, Maja D'Hondt	Ensuring Quality of Geographic Data with UML and OCL.	UML	2000	DBLP DOI BibTeX RDF
15	Jacob Elgaard, Anders Møller, Michael I. Schwartzbach	Compile-Time Debugging of C Programs Working on Trees.	ESOP	2000	DBLP DOI BibTeX RDF
15	Marco Bernardo 0001, Paolo Ciancarini, Lorenzo Donatiello	On the formalization of architectural types with process algebras.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF
15	Aaron G. Cass, Leon J. Osterweil	Design Guidance through the Controlled Application of Constraints.	IWSSD	2000	DBLP BibTeX RDF
15	Gunnar Övergaard	Formal Specification of Object-Oriented Meta-modelling.	FASE	2000	DBLP DOI BibTeX RDF
15	Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing	An Event-Based Structural Operational Semantics of Multi-Threaded Java.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
15	Pieter H. Hartel, Michael J. Butler, Moshe Levy	The Operational Semantics of a Java Secure Processor.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
15	Radmila Juric, Jasna Kuljis	Building an Evaluation Instrument for OO CASE Tool Assessment for Unified Modelling Language Support.	HICSS	1999	DBLP DOI BibTeX RDF
15	Mihai Barbuceanu, Tom Gray, Serge Mankovski	Providing Telecommunication Services through Multi-agent Negotiation.	IATA	1999	DBLP DOI BibTeX RDF
15	Adriana B. Compagnoni, Healfdene Goguen	Anti-Symmetry of Higher-Order Subtyping.	CSL	1999	DBLP DOI BibTeX RDF
15	Weidong Chen 0005, Michael Kifer	Sorted HiLog: Sorts in Higher-Order Logic Data Languages.	ICDT	1995	DBLP DOI BibTeX RDF
15	Nils Klarlund, Michael I. Schwartzbach	Graph Types.	POPL	1993	DBLP DOI BibTeX RDF
15	J. A. Trescher	Compositional specification of parallel time-critical systems.	ICCL	1992	DBLP DOI BibTeX RDF
15	Chao-Huang Chang, Gilbert K. Krulee	Resolution of ambiguity in Chinese and its application to machine translation.	Mach. Transl.	1991	DBLP DOI BibTeX RDF	ambiguity typology, serial verb construction, predication ambiguity, semantic functional grammar, disambiguation, Chinese
15	Neil Coburn, Grant E. Weddell	Path Constraints for Graph-Based Data Models: Towards a Unified Theory of Typing Constraints, Equations, and Functional Dependencies.	DOOD	1991	DBLP DOI BibTeX RDF	constraints, typing, functional dependencies, specialization, complex objects, object-oriented data models, equations
15	Patrick Saint-Dizier	On Logic Programming Interpretations of Dislog: Programming Long-Distance Dependencies in Logic.	ALP	1990	DBLP DOI BibTeX RDF
15	Eugene W. Stark	Proving Entailment Between Conceptual State Specifications.	ESOP	1986	DBLP DOI BibTeX RDF