Search results for "SPECIFIER"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
67	Kanth Miriyala, Mehdi T. Harandi	Automatic Derivation of Formal Software Specifications From Informal Descriptions.	IEEE Trans. Software Eng.	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
51	Xavier Burgués Illa, Xavier Franch, Josep M. Ribó Balust	Improving the accuracy of UML metamodel extensions by introducing induced associations.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Shallow instantiation, Metaassociations, Software quality, Metamodelling, MOF, UML extension
51	Katsuhisa Maruyama, Kenichi Shima	An Automatic Class Generation Mechanism by Using Method Integration.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	program integration, Object-oriented programming, program transformation, inheritance, program slicing, dependency analysis
50	Dunia Ramazani	Contribution of object-oriented methodologies to the specification of complex systems.	ICECCS	1995	DBLP DOI BibTeX RDF	specifier, formal specification, formal specifications, complex systems, object-oriented methods, large-scale systems, object-oriented methodologies, composite objects
48	Jin Qi, Mei Xie, Weixing Wang	A novel fingerprint matching method using a curvature-based minutia specifier.	ICIP	2008	DBLP DOI BibTeX RDF
34	Simon Ball, John Sewell	Accessibility Standards Are Not Always Enough: The Development of the Accessibility Passport.	ICCHP	2008	DBLP DOI BibTeX RDF	accessibility, software, feedback, learning objects, passport
34	Hans-Martin Gärtner, Jens Michaelis	A Note on the Complexity of Constraint Interaction: Locality Conditions and Minimalist Grammars.	LACL	2005	DBLP DOI BibTeX RDF
34	Tim Miller, Paul A. Strooper	A framework and tool support for the systematic testing of model-based specifications.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	specification animation, testgraphs, testing, Formal verification
34	Giovanna Di Marzo Serugendo	A Formal Development and Validation Methodology Applied to Agent-Based Systems.	Agents Workshop on Infrastructure for Multi-Agent Systems	2000	DBLP DOI BibTeX RDF
31	Virgile 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).		2022	RDF
31	Matthieu 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).		2021	RDF
31	Thomas 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).		2018	RDF
31	Philippe Besnard, Sylvie Doutre, Dominique Longin	Le système Sesame : Spécifier des sémantiques argumentatives.	APIA	2017	DBLP BibTeX RDF
31	Yahiaoui Ayoub, Hakim Bendjenna, Philippe Roose	Patrons temporels pour spécifier les systèmes auto-adaptatifs.	INFORSID	2017	DBLP BibTeX RDF
31	Ryan Rhodes	Do Open Specifier Positions at Clause Edges Alleviate Working Memory Load?	CogSci	2016	DBLP BibTeX RDF
31	Jonas Westman, Mattias Nyberg, Oscar Thydén	CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems.	CyPhy	2016	DBLP DOI BibTeX RDF
31	Eduardo 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).		2012	RDF
31	Gregory M. Kobele, Jens Michaelis	Disentangling Notions of Specifier Impenetrability: Late Adjunction, Islands, and Expressive Power.	MOL	2011	DBLP DOI BibTeX RDF
31	Frédéric Jourde, Yann Laurillau, Laurence Nigay	e-COMM, un éditeur pour spécifier l'interaction multimodale et multiutilisateur.	IHM	2010	DBLP DOI BibTeX RDF
31	Gaële Simon, Bruno Mermet	Spécifier des agents composés d'agents avec les GDT [présentation courte].	JFSMA	2009	DBLP BibTeX RDF
31	Lars Hellan, Dorothee Beermann	The 'Specifier' in an HPSG grammar implementation of Norwegian.	NODALIDA	2005	DBLP BibTeX RDF
31	Farida Semmak, Joël Brunet	Un métamodèle orienté buts pour spécifier les besoins d'un domaine.	INFORSID	2005	DBLP BibTeX RDF
31	Samuel 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é.		2005	RDF
31	E. W. K. Liew, B. C. O'Neill, S. Clark, A. Cawley	A Configurer and GUI Network Specifier for a Multi-Processor Strong ARM Network.	CATA	2002	DBLP BibTeX RDF
31	Pascal 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).		2002	RDF
31	Byungsoo Park	Relative Clause Constructions with Possessive Specifier Gaps : A Constraint-based Approach.	PACLIC	1999	DBLP BibTeX RDF
31	Jeannette M. Wing	A Specifier's Introduction to Formal Methods.	Computer	1990	DBLP DOI BibTeX RDF
17	Germán Regis, Nazareno Aguirre, T. S. E. Maibaum	Specifying and Verifying Business Processes Using PPML.	ICFEM	2009	DBLP DOI BibTeX RDF
17	Xavier Burgués Illa, Xavier Franch, Josep M. Ribó Balust	Inducing Metaassociations and Induced Relationships.	ER	2009	DBLP DOI BibTeX RDF	UML, Metamodels, MOF
17	Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng	Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.	FASE	2009	DBLP DOI BibTeX RDF
17	David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira	BSmart: A Tool for the Development of Java Card Applications with the B Method.	ABZ	2008	DBLP DOI BibTeX RDF
17	Jean-François Couchot, Stéphane Lescuyer	Handling Polymorphism in Automated Deduction.	CADE	2007	DBLP DOI BibTeX RDF
17	Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti	Instantiation of Parameterized Data Structures for Model-Based Testing.	B	2007	DBLP DOI BibTeX RDF
17	Zhicheng Wen, Huaikou Miao, Hongwei Zeng	Generating Proof Obligation to Verify Object-Z Specification.	ICSEA	2006	DBLP DOI BibTeX RDF	formal specification, Object-Z, proof obligation
17	Marc Aiguier, Karim Berkani, Pascale Le Gall	Feature Specification and Static Analysis for Interaction Resolution.	FM	2006	DBLP DOI BibTeX RDF	pre-post formalism, specification consistency, feature interaction resolution, static analysis, feature integration
17	Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen	Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams.	FMOODS	2006	DBLP DOI BibTeX RDF
17	David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira	Automation of Java Card component development using the B method.	ICECCS	2006	DBLP DOI BibTeX RDF
17	Michael Breen	Combinatorial completion by rule definition with interactive value colouring.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
17	Rahul Nagpal, Y. N. Srikant	Integrated temporal and spatial scheduling for extended operand clustered VLIW processors.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	spatial scheduling, temporal scheduling, clustered VLIW processors
17	Pietro Braione, Gian Pietro Picco	On Calculi for Context-Aware Coordination.	COORDINATION	2004	DBLP DOI BibTeX RDF
17	Sebastian Sardiña, Steven Shapiro	Rational action in agent programs with prioritized goals.	AAMAS	2003	DBLP DOI BibTeX RDF	rational action, situation calculus, agent programming languages
17	Pierre Flener	Achievements and Prospects of Program Synthesis.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
17	Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil	PROPEL: an approach supporting property elucidation.	ICSE	2002	DBLP DOI BibTeX RDF
17	Emmanuel Letier, Axel van Lamsweerde	Agent-based tactics for goal-oriented requirements elaboration.	ICSE	2002	DBLP DOI BibTeX RDF
17	Victor L. Winter, Dejan Desovski, Bojan Cukic	Virtual Environment Modeling for Requirements Validation of High Consequence Systems.	RE	2001	DBLP DOI BibTeX RDF
17	Christine Choppy, Pascal Poizat, Jean-Claude Royer	Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation.	FASE	2001	DBLP DOI BibTeX RDF	mixed specification, symbolic transition systems, Korrigan, UML, formal specification, graphical notation
17	Joseph M. Morris, Alexander Bunkenburg	Specificational functions.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	logic, function, expression, refinement calculus, nondeterminacy
17	Pascal Poizat, Christine Choppy, Jean-Claude Royer	From Informal Requirements to COOP: A Concurrent Automata Approach.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF	object oriented (Java) code generation, automata, Concurrent systems, specification method
17	Pao-Ann Hsiung	RTFrame: An Object-Oriented Application Framework for Real-Time Applications.	TOOLS (27)	1998	DBLP DOI BibTeX RDF	Scheduling, Real-Time Applications, Object-Oriented Application Framework, Enterprise Framework
17	Krishna Kishore Dhara, Gary T. Leavens	Forcing Behavioral Subtyping through Specification Inheritance.	ICSE	1996	DBLP BibTeX RDF	code reverification, specification inheritance, formal specification, object-oriented programming, C++, message passing, inheritance, object-oriented software, behavioral subtyping
17	Stephanie White, Herbert Warner	A Process for Specifying Black Box Behavior, Demonstrated in a Case Study.	ICECCS	1996	DBLP DOI BibTeX RDF	software engineering, formal methods, scenarios, traces, systems engineering, black box, system behavior, requirements definition
17	Dimitris Plexousakis, John Mylopoulos	Accomodating Integrity Constraints During Database Design.	EDBT	1996	DBLP DOI BibTeX RDF
17	Alexander Borgida, John Mylopoulos, Raymond Reiter	On the Frame Problem in Procedure Specifications.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	frame assertion, semantics of specification languages, specifications, languages, inheritance, Formal, proof obligations
17	Mark Utting	Animating Z: Interactivity, Transparency and Equivalence.	APSEC	1995	DBLP DOI BibTeX RDF
17	Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno	OR Causality: Modelling and Hardware Implementation.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
17	John 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.	FME	1994	DBLP DOI BibTeX RDF
17	Pamela Zave, Michael Jackson 0001	Conjunction as Composition.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	compositional specification, multiparadigm specification, practical specification
17	Ali 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.	J. Syst. Integr.	1992	DBLP DOI BibTeX RDF	rapid prototyping, Requirements specification, integrated environments
17	Chris Dollin	The HP-ST Toolset.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF