Search results for "well-formedness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
105	Offer Shai, Kenneth Preiss	Isomorphic Representations and Well-Formedness of Engineering Systems.	Eng. Comput.	1999	DBLP DOI BibTeX RDF	Isomorphic representations, Planetary gear systems, Trusses, Well-formedness, Graph theory, Dynamic systems
92	Enrique Teruel, Manuel Silva Suárez	Well-Formedness of Equal Conflict Systems.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	Place/Transition net systems, Rank theorem, Well-formedness, Decomposition, Structure theory
91	Florian Heidenreich	Towards systematic ensuring well-formedness of software product lines.	FOSD	2009	DBLP DOI BibTeX RDF	FeatureMapper, well-formedness rules, software product lines, separation of concerns, variability modelling
73	C. B. Balogh, M. E. Balogh	A relational data model to represent meaning in natural language sentences (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
71	Ke Ding, Beihong Jin, Jun Wei 0001, Yulin Feng	New Model and Scheduling Protocol for Transactional Workflows.	COMPSAC	2002	DBLP DOI BibTeX RDF	well-formedness, locking granularity, Transactional workflow, scheduling protocol
70	Mieczyslaw A. Klopotek, Slawomir T. Wierzchon	An Interpretation for the Conditional Belief Function in the Theory of Evidence.	ISMIS	1999	DBLP DOI BibTeX RDF	graphoidal structures, conditional belief functions, well-formedness, Soft Computing, evidence theory, Knowledge Representation and Integration
68	Bernd Westphal, Tobe Toben	The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts.	FASE	2006	DBLP DOI BibTeX RDF
56	Yvan Labiche	The UML Is More Than Boxes and Lines.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF	well-formedness rules, UML, consistency, teaching, laboratory
55	Ileana Ober	More Meaningful UML Models.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	complex systems modelling, tool support capabilities, executable semantics, tool vendors, intelligent tools, consistency checkers, semantics definition, UML meta-model, well formedness rules, UML standard, behaviour primitives, ASM transition rules, UML actions, object-oriented programming, specification languages, finite automata, formal semantics, symbolic execution, Abstract State Machines, UML models, programming language semantics, dynamic semantics, static semantics
51	Arsenii Rudich, Ádám Darvas, Peter Müller 0001	Checking Well-Formedness of Pure-Method Specifications.	FM	2008	DBLP DOI BibTeX RDF
50	Miguel Garcia	Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	EJB3QL, Metamodel, OCL, Static semantics
44	Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra	Attribute grammars fly first-class: how to do aspect oriented programming in Haskell.	ICFP	2009	DBLP DOI BibTeX RDF	HList, class system, type-level programming, Haskell, attribute grammars, lazy evaluation
35	Ilaria Castellani, Paola Giannini	Towards a Semantic Characterisation of Global Type Well-formedness.	CoRR	2024	DBLP DOI BibTeX RDF
35	Kei Furukawa, Takeshi Kishiyama, Satoshi Nakamura 0001	Applying Syntax-Prosody Mapping Hypothesis and Prosodic Well-Formedness Constraints to Neural Sequence-to-Sequence Speech Synthesis.	CoRR	2022	DBLP DOI BibTeX RDF
35	Matthias Barkowsky, Holger Giese	Towards Development with Multi-Version Models: Detecting Merge Conflicts and Checking Well-Formedness.	CoRR	2022	DBLP DOI BibTeX RDF
35	Kei Furukawa, Takeshi Kishiyama, Satoshi Nakamura 0001	Applying Syntax-Prosody Mapping Hypothesis and Prosodic Well-Formedness Constraints to Neural Sequence-to-Sequence Speech Synthesis.	INTERSPEECH	2022	DBLP DOI BibTeX RDF
35	Matthias Barkowsky, Holger Giese	Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness.	ICGT	2022	DBLP DOI BibTeX RDF
35	Adithya Pratapa, Antonios Anastasopoulos, Shruti Rijhwani, Aditi Chaudhary, David R. Mortensen, Graham Neubig, Yulia Tsvetkov	Evaluating the Morphosyntactic Well-formedness of Generated Texts.	CoRR	2021	DBLP BibTeX RDF
35	Adithya Pratapa, Antonios Anastasopoulos, Shruti Rijhwani, Aditi Chaudhary, David R. Mortensen, Graham Neubig, Yulia Tsvetkov	Evaluating the Morphosyntactic Well-formedness of Generated Texts.	EMNLP (1)	2021	DBLP DOI BibTeX RDF
35	Kwonsik Park, Sanghoun Song	Plausibility and Well-formedness Acceptability Test on Deep Neural Nativeness Classification.	PACLIC	2020	DBLP BibTeX RDF
35	Ralph Rose	Improving the Production Efficiency and Well-formedness of Automatically-Generated Multiple-Choice Cloze Vocabulary Questions.	LREC	2020	DBLP BibTeX RDF
35	Mikael Kågebäck, Devdatt P. Dubhashi, Asad B. Sayeed	DeepColor: Reinforcement Learning optimizes information efficiency and well-formedness in color name partitioning.	CogSci	2018	DBLP BibTeX RDF
35	Edouard Batot, Houari A. Sahraoui	Injecting Social Diversity in Multi-objective Genetic Programming: The Case of Model Well-Formedness Rule Learning.	SSBSE	2018	DBLP DOI BibTeX RDF
35	Oszkár Semeráth, Dániel Varró	Evaluating Well-Formedness Constraints on Incomplete Models.	Acta Cybern.	2017	DBLP DOI BibTeX RDF
35	Oszkár Semeráth, Ágnes Barta, Ákos Horváth 0001, Zoltán Szatmári, Dániel Varró	Formal validation of domain-specific languages with derived features and well-formedness constraints.	Softw. Syst. Model.	2017	DBLP DOI BibTeX RDF
35	Katerina D. Kandylaki, Karen Henrich, Arne Nagels, Tilo Kircher, Ulrike Domahs, Matthias Schlesewsky, Ina Bornkessel-Schlesewsky, Richard Wiese	Where Is the Beat? The Neural Correlates of Lexical Stress and Rhythmical Well-formedness in Auditory Story Comprehension.	J. Cogn. Neurosci.	2017	DBLP DOI BibTeX RDF
35	Satoshi Yawata, Makoto Miwa, Yutaka Sasaki, Daisuke Hara	Analyzing Well-Formedness of Syllables in Japanese Sign Language.	IJCNLP(2)	2017	DBLP BibTeX RDF
35	Michelle Lindlar, Yvonne Tunnat, Carl Wilson	A PDF Test-Set for Well-Formedness Validation in JHOVE - The Good, the Bad and the Ugly.	iPRES	2017	DBLP BibTeX RDF
35	Luís Morgado da Costa, Francis Bond, Xiaoling He	Syntactic Well-Formedness Diagnosis and Error-Based Coaching in Computer Assisted Language Learning using Machine Translation.	NLP-TEA@COLING	2016	DBLP BibTeX RDF
35	Friedrich Steimann	From well-formedness to meaning preservation: model refactoring for almost free.	Softw. Syst. Model.	2015	DBLP DOI BibTeX RDF
35	Martin Faunes, Juan José Cadavid, Benoit Baudry, Houari A. Sahraoui, Benoît Combemale	Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples.	MoDELS	2013	DBLP DOI BibTeX RDF
35	Oszkár Semeráth, Ákos Horváth 0001, Dániel Varró	Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver.	MoDELS	2013	DBLP DOI BibTeX RDF
35	Catarina Almeida 0001, Miguel Goulão, João Araújo 0001	A Systematic Comparison of i* Modelling Tools Based on Syntactic and Well-formedness Rules.	iStar	2013	DBLP BibTeX RDF
35	Thomas Buchmann, Felix Schwägerl	Ensuring well-formedness of configured domain models in model-driven product lines based on negative variability.	FOSD	2012	DBLP DOI BibTeX RDF
35	Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth 0001, István Ráth, Dániel Varró	Ontology driven design of EMF metamodels and well-formedness constraints.	OCL@MoDELS	2012	DBLP DOI BibTeX RDF
35	Xiaofei Zhao, Zhongzhi Shi	Detecting operations that potentially violate well-formedness constraints for metadata repository systems.	CCIS	2011	DBLP DOI BibTeX RDF
35	Eliana Beatriz Pereira, Ricardo Melo Bastos, Toacy C. Oliveira, Michael C. Móra	A Set of Well-Formedness Rules to Checking the Consistency of the Software Processes Based on SPEM 2.0.	ICEIS	2011	DBLP DOI BibTeX RDF
35	Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei	Shape Calculus: Timed Operational Semantics and Well-formedness	CoRR	2010	DBLP BibTeX RDF
35	Iulia Dragomir, Iulian Ober	Well-formedness and typing rules for UML Composite Structures	CoRR	2010	DBLP BibTeX RDF
35	Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei	Timed Operational Semantics and Well-Formedness of Shape Calculus.	Sci. Ann. Comput. Sci.	2010	DBLP BibTeX RDF
35	Noraini Ibrahim, Rosziati Ibrahim, Mohd Zainuri Saringat, Dzahar Mansor, Tutut Herawan	On Well-Formedness Rules for UML Use Case Diagram.	WISM	2010	DBLP DOI BibTeX RDF
35	Simon Perdrix	Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition.	QPL/DCM@ICALP	2008	DBLP DOI BibTeX RDF
35	Eliana Beatriz Pereira, Ricardo Melo Bastos, Toacy Cavalcante de Oliveira	Process tailoring based on well-formedness rules.	SEKE	2008	DBLP BibTeX RDF
35	Krzysztof Czarnecki 0001, Krzysztof Pietroszek	Verifying feature-based model templates against well-formedness OCL constraints.	GPCE	2006	DBLP DOI BibTeX RDF	model templates, UML, formal verification, model-driven development, software-product lines, configuration, OCL, feature modeling, feature interaction, metaprogramming
35	Tran Dan Thu, Hanh Nhi Tran, Dong Thi Bich Thuy, Bernard Coulette, Xavier Crégut	Topological properties for characterizing well-formedness of process components.	Softw. Process. Improv. Pract.	2005	DBLP DOI BibTeX RDF
35	Christian Siefkes	A Shallow Algorithm for Correcting Nesting Errors and Other Well-Formedness Violations in XML-like Input.	Extreme Markup Languages®	2004	DBLP BibTeX RDF
35	Zhaohui Luo, Paul Callaghan	Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language.	LACL	1997	DBLP DOI BibTeX RDF
35	Laura Recalde, Enrique Teruel, Manuel Silva 0001	On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes.	STRICT	1995	DBLP DOI BibTeX RDF
35	Jan C. Verheul, Peter G. Kluit	The Transformation of Term Rewriting Sysstems Based on Well-formedness Preserving Mappings.	CTRS	1994	DBLP DOI BibTeX RDF
35	Gerard Milhaud, Robert Pasero, Paul Sabatier	Partial Synthesis Of Sentences By Coroutining Constraints On Different Levels Of Well-Formedness.	COLING	1992	DBLP BibTeX RDF
30	Ninh-Thuan Truong, Jeanine Souquières	Verification of behavioural elements of UML models using B.	SAC	2005	DBLP DOI BibTeX RDF	UML, verification, metamodel, B, proof obligation
30	Ninh-Thuan Truong, Jeanine Souquières	An Approach for the Verification of UML Models Using B.	ECBS	2004	DBLP DOI BibTeX RDF
30	Tom Cornell	Derivational and Representational Views of Minimalist Tranformational Grammar.	LACL	1997	DBLP DOI BibTeX RDF
30	Andrei Kovalyov	An O(\|S\|×\|T\|)- Algorithm to Verify if a Net is Regular.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
29	Ali Bagherzandi, Jung Hee Cheon, Stanislaw Jarecki	Multisignatures secure under the discrete logarithm assumption and a generalized forking lemma.	CCS	2008	DBLP DOI BibTeX RDF	concurrent proofs of knowledge, equiocable homomorphic commitment, forking lemma, multisignatures
29	Ilkyu Ha, Byunguk Kang	Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram.	IDEAL	2008	DBLP DOI BibTeX RDF
29	Tomoyuki Aotani, Hidehiko Masuhara	Towards a type system for detecting never-matching pointcut compositions.	FOAL	2007	DBLP DOI BibTeX RDF	AOP, compositions, records, pointcut
29	Mark Richters, Martin Gogolla	Validating UML Models and OCL Constraints.	UML	2000	DBLP DOI BibTeX RDF
29	Maksim Kravtsev	Quantum Finite One-Counter Automata.	SOFSEM	1999	DBLP DOI BibTeX RDF
17	Shan Shan Huang, David Zook, Yannis Smaragdakis	Statically Safe Program Generation with SafeGen.	GPCE	2005	DBLP DOI BibTeX RDF
16	Andreas Heberle, Welf Löwe, Rainer Neumann, Wolf Zimmermann	Weak Subtyping and Genericity.	TOOLS (34)	2000	DBLP DOI BibTeX RDF	Genericity, Inheritance, Subtype, Conformance
16	Peter Langner, Christoph Schneider, Joachim Wehler	Petri Net Based Certification of Event-Driven Process Chains.	ICATPN	1998	DBLP DOI BibTeX RDF
16	Jian Chen, John Staples	Defining Soft Sortedness by Abstract Interpretation.	MFCS	1993	DBLP DOI BibTeX RDF
16	Mohammad Ghodsi, Krishna Kant 0001	Well-formed generalized task graphs.	SPDP	1991	DBLP DOI BibTeX RDF
16	K. Kant	Analysis and synthesis of generalized task graphs.	SPDP	1990	DBLP DOI BibTeX RDF
15	Sven Jörges, Tiziana Margaria, Bernhard Steffen	Genesys: service-oriented construction of property conform code generators.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF
15	Daniel Wasserrab, Andreas Lochbihler	Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL.	TPHOLs	2008	DBLP DOI BibTeX RDF
15	José Farinha, Maria José Trigueiros	An Extensible Metadata Framework for Data Quality Assessment of Composite Structures.	DaWaK	2007	DBLP DOI BibTeX RDF	Metadata, Metamodel, Data Quality, CWM
15	Beda Christoph Hammerschmidt, Christian Werner, Ylva Brandt, Volker Linnemann, Sven Groppe, Stefan Fischer 0001	Incremental Validation of String-Based XML Data in Databases, File Systems, and Streams.	ADBIS	2007	DBLP DOI BibTeX RDF
15	Myrto Arapinis, Marie Duflot	Bounding Messages for Free in Security Protocols.	FSTTCS	2007	DBLP DOI BibTeX RDF
15	Alexander Egyed, David S. Wile	Support for Managing Design-Time Decisions.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	design choices, choice elimination, UML, consistency checking, design alternatives
15	Angelo Di Iorio, Stefano Zacchiroli	Constrained Wiki: an Oxymoron?	Int. Sym. Wikis	2006	DBLP DOI BibTeX RDF	Wiki system, assisted editing, validation
15	Pedro Pablo Pérez Velasco, Juan de Lara	Matrix Approach to Graph Transformation: Matching and Sequences.	ICGT	2006	DBLP DOI BibTeX RDF
15	Yan Jin, Robert Esser, Jörn W. Janneck	A method for describing the syntax and semantics of UML statecharts.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Syntax definition, Formal operational semantics, UML, Visual languages, Statecharts, Abstract State Machines, UML statecharts
15	Alexander Knapp, Nora Koch, Gefei Zhang	Modeling the Structure of Web Applications with ArgoUWE.	ICWE	2004	DBLP DOI BibTeX RDF
15	Quinn Tyler Jackson	Efficient formalism-only parsing of XML/HTML using the s-calculus.	ACM SIGPLAN Notices	2003	DBLP DOI BibTeX RDF
15	Thomas Baar	The Definition of Transitive Closure with OCL - Limitations and Applications.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
15	Andreas Prinz 0001, Martin von Löwis	Generating a Compiler for SDL from the Formal Language Definition.	SDL Forum	2003	DBLP DOI BibTeX RDF
15	James E. Hanson, Zoran Milosevic	Conversation-oriented Protocols for Contract Negotiations.	EDOC	2003	DBLP DOI BibTeX RDF
15	Chris Mellish	DCGs: Parsing as Deduction?	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
15	Dieter Nazareth	Specifying Type Systems.	ALP	1996	DBLP DOI BibTeX RDF	polymorphic type system, type inference, qualified types, axiomatic specification
15	Christoph Dürr, Huong Lê Thanh, Miklos Santha	A Decision Procedure for Well-Formed Linear Quantum Cellular Automata.	STACS	1996	DBLP DOI BibTeX RDF	Classification of topics algorithms, computational complexity, automata and formal languages
15	Hans Bruun, Bo Stig Hansen, Flemming M. Damm	An Approach to the Static Semantics of VDM-SL.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
15	Johannes Rudolph, Peter Thiemann 0001	Mnemonics: type-safe bytecode generation at run time.	PEPM	2010	DBLP DOI BibTeX RDF	embedded domain specific language, program generation, metaprogramming
15	Saurabh Srivastava 0001, Sumit Gulwani, Jeffrey S. Foster	From program verification to program synthesis.	POPL	2010	DBLP DOI BibTeX RDF	proof-theoretic program synthesis, verification
15	Zachary Snow, David Baelde, Gopalan Nadathur	A meta-programming approach to realizing dependently typed logic programming.	PPDP	2010	DBLP DOI BibTeX RDF	dependently typed lambda calculi, higher-order logic programming, translation, logical frameworks
15	Çagdas Cirit, Feza Buzluca	A UML profile for role-based access control.	SIN	2009	DBLP DOI BibTeX RDF	tagged value, role-based access control, model driven architecture, object constraint language, unified modeling language profile, model validation, stereotype, security engineering
15	Sagar Sen, Benoit Baudry, Jean-Marie Mottu	Automatic Model Generation Strategies for Model Transformation Testing.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF
15	Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf	Formalisms for Specifying Markovian Population Models.	RP	2009	DBLP DOI BibTeX RDF
15	Lukman Ab. Rahim, Sharifah Bahiyah Rahayu Syed Mansoor	Proposed Design Notation for Model Transformation.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF
15	Khanh Hoa Dam, Michael Winikoff	Evaluating an Agent-Oriented Approach for Change Propagation.	AOSE	2008	DBLP DOI BibTeX RDF
15	Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio	Automating Co-evolution in Model-Driven Engineering.	EDOC	2008	DBLP DOI BibTeX RDF
15	Dirceu Cavendish, K. Selçuk Candan	PASS Middleware for Distributed and Autonomous XML Message Processing.	ICDE	2007	DBLP DOI BibTeX RDF
15	Yasuhiko Minamide	Verified Decision Procedures on Context-Free Grammars.	TPHOLs	2007	DBLP DOI BibTeX RDF
15	Luís Soares Barbosa, Jácome Cunha, Joost Visser 0001	A type-level approach to component prototyping.	SYANCO	2007	DBLP DOI BibTeX RDF	type-level programming, Haskell, coalgebra, mealy machine, combinator library
15	Didier Rémy	MLF for everyone (users, implementers, and designers).	ML	2007	DBLP DOI BibTeX RDF	graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF
15	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo	Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level.	ISBRA	2007	DBLP DOI BibTeX RDF
15	Christof Simons	CMP: A UML Context Modeling Profile for Mobile Distributed Systems.	HICSS	2007	DBLP DOI BibTeX RDF
15	Panuchart Bunyakiati, Anthony Finkelstein, David S. Rosenblum	The Certification of Software Tools with respect to Software Standards.	IRI	2007	DBLP DOI BibTeX RDF
15	Alcino Cunha, José Nuno Oliveira, Joost Visser 0001	Type-Safe Two-Level Data Transformation.	FM	2006	DBLP DOI BibTeX RDF