Search results for "under-specification"

Found 16 publication records. Showing 16 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Michael Huth 0001	Mathematics for the exploration of requirements.	ACM SIGCSE Bull.	2004	DBLP DOI BibTeX RDF	under-specification, model checking, requirements, pragmatics
22	Gilad Ben-Avi, Yoad Winter	Scope Dominance with Monotone Quantifiers over Finite Domains.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	under-specification, natural language, inference, Ambiguity, monotonicity, scope, quantifier
12	Peter Scholz	A Refinement Calculus for Statecharts.	FASE	1998	DBLP DOI BibTeX RDF
11	Jingzhi Yu, Jennifer A. Pacheco, Anika S. Ghosh, Yuan Luo 0001, Chunhua Weng, Ning Shang, Barbara Benoit, David S. Carrell, Robert J. Carroll, Ozan Dikilitas, Robert R. Freimuth, Vivian S. Gainer, Hakon Hakonarson, George Hripcsak, Iftikhar J. Kullo, Frank D. Mentch, Shawn N. Murphy, Peggy L. Peissig, Andrea H. Ramirez, Nephi Walton, Wei-Qi Wei, Luke V. Rasmussen	Under-specification as the source of ambiguity and vagueness in narrative phenotype algorithm definitions.	BMC Medical Informatics Decis. Mak.	2022	DBLP DOI BibTeX RDF
11	Foutse Khomh	Data quality and model under-specification issues (keynote).	SEA4DQ@ESEC/SIGSOFT FSE	2022	DBLP DOI BibTeX RDF
11	Vinton G. Cerf	In praise of under-specification?	Commun. ACM	2017	DBLP DOI BibTeX RDF
11	Zheng Fu, Graeme Smith 0001	Property transformation under specification change.	Frontiers Comput. Sci. China	2011	DBLP DOI BibTeX RDF
11	Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo	Assertion-level Proof Representation with Under-Specification.	MKM Symposium	2003	DBLP DOI BibTeX RDF
11	Alda Mari	Under-specification and contextual variability of abstract.	SENSEVAL	2002	DBLP BibTeX RDF
11	Heather M. Hinton	Under-specification, composition and emergent properties.	NSPW	1997	DBLP DOI BibTeX RDF
6	Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck	Taming Interface Specifications.	CONCUR	2005	DBLP DOI BibTeX RDF
6	Robert Schaefer	A systems analysis of systems integration.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF
6	Xuanhui Wang, ChengXiang Zhai	Mining term association patterns from search logs for effective query reformulation.	CIKM	2008	DBLP DOI BibTeX RDF	term association patterns, query reformulation, search log mining
6	Conor Ryan, Miguel Nicolau, Michael O'Neill 0001	Genetic Algorithms Using Grammatical Evolution.	EuroGP	2002	DBLP DOI BibTeX RDF
4	Davor Svetinovic, Daniel M. Berry, Michael W. Godfrey	Concept Identification in Object-Oriented Domain Analysis: Why Some Students Just Don't Get It.	RE	2005	DBLP DOI BibTeX RDF
4	Benjamin Han, Alon Lavie	A framework for resolution of time in natural language.	ACM Trans. Asian Lang. Inf. Process.	2004	DBLP DOI BibTeX RDF	temporal information processing, knowledge representation, temporal reasoning, constraint solving, computational semantics