The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for specifier with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1990-1999 (17) 2000-2005 (18) 2006-2010 (15) 2011-2022 (9)
Publication types (Num. hits)
article(10) inproceedings(43) phdthesis(6)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 80 occurrences of 69 keywords

Results
Found 59 publication records. Showing 59 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
67Kanth Miriyala, Mehdi T. Harandi Automatic Derivation of Formal Software Specifications From Informal Descriptions. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF formal software specifications, common problem-solving techniques, difference-based reasoning, informal description, SPECIFIER, previously solved problem, analogy mapping, formal specification, data structures, software tools, interactive system, analogy, automatic programming, schemas, data types, problem-solving process
51Xavier Burgués Illa, Xavier Franch, Josep M. Ribó Balust Improving the accuracy of UML metamodel extensions by introducing induced associations. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Shallow instantiation, Metaassociations, Software quality, Metamodelling, MOF, UML extension
51Katsuhisa Maruyama, Kenichi Shima An Automatic Class Generation Mechanism by Using Method Integration. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF program integration, Object-oriented programming, program transformation, inheritance, program slicing, dependency analysis
50Dunia Ramazani Contribution of object-oriented methodologies to the specification of complex systems. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF specifier, formal specification, formal specifications, complex systems, object-oriented methods, large-scale systems, object-oriented methodologies, composite objects
48Jin Qi, Mei Xie, Weixing Wang A novel fingerprint matching method using a curvature-based minutia specifier. Search on Bibsonomy ICIP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Simon Ball, John Sewell Accessibility Standards Are Not Always Enough: The Development of the Accessibility Passport. Search on Bibsonomy ICCHP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF accessibility, software, feedback, learning objects, passport
34Hans-Martin Gärtner, Jens Michaelis A Note on the Complexity of Constraint Interaction: Locality Conditions and Minimalist Grammars. Search on Bibsonomy LACL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Tim Miller, Paul A. Strooper A framework and tool support for the systematic testing of model-based specifications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF specification animation, testgraphs, testing, Formal verification
34Giovanna Di Marzo Serugendo A Formal Development and Validation Methodology Applied to Agent-Based Systems. Search on Bibsonomy Agents Workshop on Infrastructure for Multi-Agent Systems The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
31Virgile Robles Specifying and verifying high-level requirements on large programs : application to security of C programs. (Spécifier et vérifier des exigences de haut niveau sur des programmes importants : application à la sécurité des programmes C). Search on Bibsonomy 2022   RDF
31Matthieu Viry A declarative approach based on Semantic Web technologies to specify and generate adaptive geovisualisations. (Une approche déclarative basée sur les technologies du Web sémantique pour spécifier et générer des géovisualisations adaptatives). Search on Bibsonomy 2021   RDF
31Thomas Letan Specifying and Verifying Hardware-based Security Enforcement Mechanisms. (Spécifier et vérifier des stratégies d'application de politiques de sécurité s'appuyant sur des mécanismes matériels). Search on Bibsonomy 2018   RDF
31Philippe Besnard, Sylvie Doutre, Dominique Longin Le système Sesame : Spécifier des sémantiques argumentatives. Search on Bibsonomy APIA The full citation details ... 2017 DBLP  BibTeX  RDF
31Yahiaoui Ayoub, Hakim Bendjenna, Philippe Roose Patrons temporels pour spécifier les systèmes auto-adaptatifs. Search on Bibsonomy INFORSID The full citation details ... 2017 DBLP  BibTeX  RDF
31Ryan Rhodes Do Open Specifier Positions at Clause Edges Alleviate Working Memory Load? Search on Bibsonomy CogSci The full citation details ... 2016 DBLP  BibTeX  RDF
31Jonas Westman, Mattias Nyberg, Oscar Thydén CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems. Search on Bibsonomy CyPhy The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
31Eduardo Mazza A Formal Framework for specifying and Analyzing Liabilities Using Log as Digital Evidence. (Un cadre formel pour spécifier et analyser les responsabilités, basé sur les logs comme preuve électronique). Search on Bibsonomy 2012   RDF
31Gregory M. Kobele, Jens Michaelis Disentangling Notions of Specifier Impenetrability: Late Adjunction, Islands, and Expressive Power. Search on Bibsonomy MOL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
31Frédéric Jourde, Yann Laurillau, Laurence Nigay e-COMM, un éditeur pour spécifier l'interaction multimodale et multiutilisateur. Search on Bibsonomy IHM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
31Gaële Simon, Bruno Mermet Spécifier des agents composés d'agents avec les GDT [présentation courte]. Search on Bibsonomy JFSMA The full citation details ... 2009 DBLP  BibTeX  RDF
31Lars Hellan, Dorothee Beermann The 'Specifier' in an HPSG grammar implementation of Norwegian. Search on Bibsonomy NODALIDA The full citation details ... 2005 DBLP  BibTeX  RDF
31Farida Semmak, Joël Brunet Un métamodèle orienté buts pour spécifier les besoins d'un domaine. Search on Bibsonomy INFORSID The full citation details ... 2005 DBLP  BibTeX  RDF
31Samuel Soubeyrand Spécifier un processus caché non modélisé en déterminant le lien asymptotique entre résidus et processus caché. Application à l'analyse de la variabilité dans les expériences de propagation des rouilles du blé. Search on Bibsonomy 2005   RDF
31E. W. K. Liew, B. C. O'Neill, S. Clark, A. Cawley A Configurer and GUI Network Specifier for a Multi-Processor Strong ARM Network. Search on Bibsonomy CATA The full citation details ... 2002 DBLP  BibTeX  RDF
31Pascal Rapicault Modèles et techniques pour spécifier, développer et utiliser un framework : une approche par méta-modélisation. (Models and Techniques to Specify, Develop and Use a Framework : a Meta-Modeling Approach). Search on Bibsonomy 2002   RDF
31Byungsoo Park Relative Clause Constructions with Possessive Specifier Gaps : A Constraint-based Approach. Search on Bibsonomy PACLIC The full citation details ... 1999 DBLP  BibTeX  RDF
31Jeannette M. Wing A Specifier's Introduction to Formal Methods. Search on Bibsonomy Computer The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
17Germán Regis, Nazareno Aguirre, T. S. E. Maibaum Specifying and Verifying Business Processes Using PPML. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Xavier Burgués Illa, Xavier Franch, Josep M. Ribó Balust Inducing Metaassociations and Induced Relationships. Search on Bibsonomy ER The full citation details ... 2009 DBLP  DOI  BibTeX  RDF UML, Metamodels, MOF
17Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. Search on Bibsonomy FASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira BSmart: A Tool for the Development of Java Card Applications with the B Method. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Jean-François Couchot, Stéphane Lescuyer Handling Polymorphism in Automated Deduction. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti Instantiation of Parameterized Data Structures for Model-Based Testing. Search on Bibsonomy B The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Zhicheng Wen, Huaikou Miao, Hongwei Zeng Generating Proof Obligation to Verify Object-Z Specification. Search on Bibsonomy ICSEA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF formal specification, Object-Z, proof obligation
17Marc Aiguier, Karim Berkani, Pascale Le Gall Feature Specification and Static Analysis for Interaction Resolution. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF pre-post formalism, specification consistency, feature interaction resolution, static analysis, feature integration
17Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams. Search on Bibsonomy FMOODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira Automation of Java Card component development using the B method. Search on Bibsonomy ICECCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Michael Breen Combinatorial completion by rule definition with interactive value colouring. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Rahul Nagpal, Y. N. Srikant Integrated temporal and spatial scheduling for extended operand clustered VLIW processors. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF spatial scheduling, temporal scheduling, clustered VLIW processors
17Pietro Braione, Gian Pietro Picco On Calculi for Context-Aware Coordination. Search on Bibsonomy COORDINATION The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Sebastian Sardiña, Steven Shapiro Rational action in agent programs with prioritized goals. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF rational action, situation calculus, agent programming languages
17Pierre Flener Achievements and Prospects of Program Synthesis. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil PROPEL: an approach supporting property elucidation. Search on Bibsonomy ICSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17Emmanuel Letier, Axel van Lamsweerde Agent-based tactics for goal-oriented requirements elaboration. Search on Bibsonomy ICSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17Victor L. Winter, Dejan Desovski, Bojan Cukic Virtual Environment Modeling for Requirements Validation of High Consequence Systems. Search on Bibsonomy RE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
17Christine Choppy, Pascal Poizat, Jean-Claude Royer Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. Search on Bibsonomy FASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF mixed specification, symbolic transition systems, Korrigan, UML, formal specification, graphical notation
17Joseph M. Morris, Alexander Bunkenburg Specificational functions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF logic, function, expression, refinement calculus, nondeterminacy
17Pascal Poizat, Christine Choppy, Jean-Claude Royer From Informal Requirements to COOP: A Concurrent Automata Approach. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF object oriented (Java) code generation, automata, Concurrent systems, specification method
17Pao-Ann Hsiung RTFrame: An Object-Oriented Application Framework for Real-Time Applications. Search on Bibsonomy TOOLS (27) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Scheduling, Real-Time Applications, Object-Oriented Application Framework, Enterprise Framework
17Krishna Kishore Dhara, Gary T. Leavens Forcing Behavioral Subtyping through Specification Inheritance. Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF code reverification, specification inheritance, formal specification, object-oriented programming, C++, message passing, inheritance, object-oriented software, behavioral subtyping
17Stephanie White, Herbert Warner A Process for Specifying Black Box Behavior, Demonstrated in a Case Study. Search on Bibsonomy ICECCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF software engineering, formal methods, scenarios, traces, systems engineering, black box, system behavior, requirements definition
17Dimitris Plexousakis, John Mylopoulos Accomodating Integrity Constraints During Database Design. Search on Bibsonomy EDBT The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
17Alexander Borgida, John Mylopoulos, Raymond Reiter On the Frame Problem in Procedure Specifications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF frame assertion, semantics of specification languages, specifications, languages, inheritance, Formal, proof obligations
17Mark Utting Animating Z: Interactivity, Transparency and Equivalence. Search on Bibsonomy APSEC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
17Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno OR Causality: Modelling and Hardware Implementation. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
17John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen Formal and Informal Specifications of a Secure System Component: first results in a comparative study. Search on Bibsonomy FME The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
17Pamela Zave, Michael Jackson 0001 Conjunction as Composition. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF compositional specification, multiparadigm specification, practical specification
17Ali H. Dogru, Suzanne N. Delcambre, Coskun Bayrak, Yuan-Tsong Chen, Eric S. Chan, W. Yin, M. G. Christiansen, Murat M. Tanik An integrated system design environment: Concepts and a status report. Search on Bibsonomy J. Syst. Integr. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF rapid prototyping, Requirements specification, integrated environments
17Chris Dollin The HP-ST Toolset. Search on Bibsonomy VDM Europe (1) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #59 of 59 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license