Search results for "formalisation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Bertrand Léger	Recueil et Formalisation de procédés experts pour conduire une protection intégrée du vignoble. (Elicitation and Formalization of an Expert decision workflow to manage an integrated crop protection of the vineyard).		2008	RDF
17	Vladimir Popescu	Formalisation des contraintes pragmatiques pour la génération des énoncés en dialogue homme-machine multi-locuteurs. (Formalizing pragmatic constraints for utterance generation in multi-party human-computer dialogue).		2008	RDF
17	Zhen Yu Chen 0001, Shengji Yao, Jian Qiang Lin, Yong Zeng 0004, Armin Eberlein	Formalisation of product requirements: from natural language descriptions to formal specifications.	Int. J. Manuf. Res.	2007	DBLP DOI BibTeX RDF
17	Catholijn M. Jonker, Martijn C. Schut, Jan Treur, Pinar Yolum	Analysis of meeting protocols by formalisation, simulation, and verification.	Comput. Math. Organ. Theory	2007	DBLP DOI BibTeX RDF
17	Akram Idani, Yves Ledru, Didier Bert	Approche formelle pour la dérivation de vues structurelles UML à partir de développements B. Formalisation, preuve et extension pour la prise en compte des raffinements B.	Tech. Sci. Informatiques	2007	DBLP DOI BibTeX RDF
17	Xavier Boucher, Eric Bonjour, Bernard Grabot	Formalisation and use of competencies for industrial performance optimisation: A survey.	Comput. Ind.	2007	DBLP DOI BibTeX RDF
17	Zhenbang Chen, Ji Wang 0001, Wei Dong 0006, Zhichang Qi	Interface theory-based formalisation and verification of orchestration in BPEL4WS.	Int. J. Bus. Process. Integr. Manag.	2007	DBLP DOI BibTeX RDF
17	Vytautas Cyras	On formalisation of the goal concept in law.	Eng. Appl. Artif. Intell.	2007	DBLP DOI BibTeX RDF
17	Eddy W. Boot, Jon Nelson, Jeroen J. G. van Merriënboer, Andrew S. Gibbons	Stratification, elaboration and formalisation of design documents: Effects on the production of instructional materials.	Br. J. Educ. Technol.	2007	DBLP DOI BibTeX RDF
17	François Lareau	Vers une formalisation des décompositions sémantiques dans la Grammaire d'Unification Sens-Texte.	TALN (Posters)	2007	DBLP BibTeX RDF
17	Jiong Zhou	Formalisation of component-based systems.		2007	RDF
17	Samuel Rochet	Formalisation des Processus de l'Ingénierie Système : Proposition d'une méthode d'adaptation des processus génériques à différents contextes d'application. (Formalization of System Engineering Processes : Proposal of a method to adapt generic processes to different application contexts).		2007	RDF
17	Jérémy Briffaut	Formalisation et garantie de propriétés de sécurité système : application à la détection d'intrusions. (Formalization and guaranty of system security properties : application to the detection of intrusions).		2007	RDF
17	Kamel Boukhalfa, Ladjel Bellatreche	Sélection de schéma de fragmentation horizontale dans les entrepôts de données. Formalisation et algorithmes.	Ingénierie des Systèmes d Inf.	2006	DBLP DOI BibTeX RDF
17	Estella Annoni, Franck Ravat, Olivier Teste	Traitements à l'origine des systèmes d'information décisionnels. Catégorisation et formalisation des traitements à l'origine des SID.	Ingénierie des Systèmes d Inf.	2006	DBLP DOI BibTeX RDF
17	David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss 0001, Bogdan Korel	A formalisation of the relationship between forms of program slicing.	Sci. Comput. Program.	2006	DBLP DOI BibTeX RDF
17	Frédéric Pourraz, Hervé Verjus, Flávio Oquendo	p-Diapason : un langage pour la formalisation des architectures orientées services Web.	CAL	2006	DBLP BibTeX RDF
17	Yves Ledru	A Formalisation of the Soccer Substitution Rules.	ReMo2V	2006	DBLP BibTeX RDF
17	Vanda Luengo, Lucile Vadcard, Michel Dubois, Dima Mufti-Alchawafa	TELEOS : de l'analyse de l'activité professionnelle à la formalisation des connaissances pour un environnement d'apprentissage.	Actes d'IC	2006	DBLP BibTeX RDF
17	Nicolas Daclin, David Chen 0001, Bruno Vallespir	Decisional Interoperability: Concepts And Formalisation.	PRO-VE	2006	DBLP DOI BibTeX RDF
17	Pierre Teller	Formalisation des normes comptables : vers une ontologie des notions de comptabilité.	INFORSID	2006	DBLP BibTeX RDF
17	Víctor M. Gulías, Carlos Abalde, Laura M. Castro, Carlos Varela	Formalisation of a Functional Risk Management System.	ICEIS (3)	2006	DBLP BibTeX RDF
17	Salem Chakhar	Cartographie déCisionnelle MulticritèRe : Formalisation et IMPLémentation informatique. (Multicriteria Decisional Cartography: Formaliztion and Implementation).		2006	RDF
17	Clémentine Nebut, Franck Fleurey	Une méthode de formalisation progressive des exigences basée sur un modèle simulable.	Obj. Logiciel Base données Réseaux	2005	DBLP DOI BibTeX RDF
17	Jean-Paul Donnay	Formalisation des informations géographiques en mode maillé.	Rev. Int. Géomatique	2005	DBLP DOI BibTeX RDF
17	Frédérique Guilhot	Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée.	Tech. Sci. Informatiques	2005	DBLP DOI BibTeX RDF
17	Jean-Philippe Babau	Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel.		2005	RDF
17	Tibor Bosse, Catholijn M. Jonker, Jan Treur	Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces.	IWINAC (1)	2005	DBLP DOI BibTeX RDF
17	Robert Demolombe, Vincent Louis	Normes, Pouvoirs et Rôles: vers une formalisation en logique.	JFSMA	2005	DBLP BibTeX RDF
17	Rim Djedidi Hannachi, Sarra Ben Lagha, Mohamed Ben Ahmed	Utilisation des technologies XML pour la formalisation de l'ontologie de modèles e-business.	EGC	2005	DBLP BibTeX RDF
17	Andreas Hamfelt, Jenny Eriksson Lundström, Jørgen Fischer Nilsson	A metalogical formalisation of legal argumentation as game trees with defeasible reasoning.	ICAIL	2005	DBLP DOI BibTeX RDF
17	Manuele Kirsch-Pinheiro, Marlène Villanova-Oliver, Jérôme Gensel, Hervé Martin	Une formalisation du contexte dans les environnements coopératifs nomades.	UbiMob	2005	DBLP DOI BibTeX RDF
17	Huiqing Li, Simon J. Thompson	Formalisation of Haskell refactorings.	Trends in Functional Programming	2005	DBLP BibTeX RDF
17	Tibor Bosse, Catholijn M. Jonker, Sander A. Los, Leendert W. N. van der Torre, Jan Treur	Formalisation and Analysis of the Temporal Dynamics of Conditioning.	AOSE	2005	DBLP DOI BibTeX RDF
17	Wojciech Mostowski	Formalisation and Verification of Java Card Security Properties in Dynamic Logic.	FASE	2005	DBLP DOI BibTeX RDF
17	Jean-Jacques Dahan	La démarche de découverte expérimentalement médiée par Cabri-Géomètre en mathématiques: un essai de formalisation à partir de l'analyse de démarches de résolutions de problèmes de boîtes noires. (The process of experimental discovery in mathematics mediated by Cabri-Geometry. A theoretical essay based on the analysis of various approaches to the solution of "black box" problems).		2005	RDF
17	Mhamed Saidane	Formalisation de Familles d'Architectures Logicielles Coopératives : Démarches, Modèles et Outils. (Formalizing Families of Cooperative Software Architectures: Approaches, Models and Tools).		2005	RDF
17	Greg O'Keefe	Towards a Readable Formalisation of Category Theory.	CATS	2004	DBLP DOI BibTeX RDF
17	Alessio Lomuscio, Marek J. Sergot	A formalisation of violation, error recovery, and enforcement in the bit transmission problem.	J. Appl. Log.	2004	DBLP DOI BibTeX RDF
17	Cosmin Carabelea, Cristiano Castelfranchi, Olivier Boissier	Autonomie et pouvoir social. Vers une formalisation.	JFSMA	2004	DBLP BibTeX RDF
17	Evariste Valéry Bévo Wandji, Ghislain Lévesque, Jean Guy Meunier	Toward an ontological formalisation for a software functional size measurement method's application process: The FPA case.	RIVF	2004	DBLP BibTeX RDF
17	Nils Gesbert	Formalisation of Geographical Database Specifications.	ADBIS (Local Proceedings)	2004	DBLP BibTeX RDF
17	Nils Gesbert	Formalisation des spécifications de bases de données géographiques pour une meilleure compréhension des données.	INFORSID	2004	DBLP BibTeX RDF
17	Jérôme Antoni	The spectral kurtosis of nonstationary signals: Formalisation, some properties, and application.	EUSIPCO	2004	DBLP BibTeX RDF
17	Fabien Leymonerie, Lionel Blanc Dit Jolicoeur, Sorana Cîmpan, Christian Braesch, Flávio Oquendo	Towards a Business Process Formalisation Based on an Architecture Centred Approach.	ICEIS (3)	2004	DBLP BibTeX RDF
17	Ben Mankin	The formalisation of authorisation systems.		2004	RDF
17	Raphaël Troncy	Formalisation des connaissances documentaires et des connaissances conceptuelles à l'aide d'ontologies : application à la description de documents audiovisuels. (Formalization of documentary knowledge and conceptual knowledge with ontologies: applying to the description of audio-visual documents).		2004	RDF
17	Frédéric Boyer	Reconstruction ab initio de voies métaboliques - Formalisation et approches combinatoires.		2004	RDF
17	Victor Bos, J. J. T. Kleijn	Redesign of a Systems Engineering Language: Formalisation of X.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Verification, System analysis, Systems engineering, Operational semantics, Formal semantics, Industrial systems
17	Johan Bos, Ewan Klein, Oliver Lemon, Tetsushi Oka	DIPPER: Description and Formalisation of an Information-State Update Dialogue System Architecture.	SIGDIAL Workshop	2003	DBLP BibTeX RDF
17	Raquel Fernández	A Dynamic Logic Formalisation of the Dialogue Gameboard.	EACL	2003	DBLP BibTeX RDF
17	Christophe Benzitoun	Un "langage pivot" pour articuler description et formalisation : l'exemple des verbes introducteurs de "que-phrases".	RECITAL (Posters)	2003	DBLP BibTeX RDF
17	Agnes Boskovitz, Rajeev Goré, Markus Hegland	A Logical Formalisation of the Fellegi-Holt Method of Data Cleaning.	IDA	2003	DBLP DOI BibTeX RDF
17	Virginie Goepp	Towards the Formalisation of a Contingent and Modular Management of Information System Design Projects.	ICEIS Doctoral Consortium	2003	DBLP BibTeX RDF
17	Andrew A. Adams	Digitisation, Representation, and Formalisation.	MKM	2003	DBLP DOI BibTeX RDF
17	André Windisch	A framework for the formalisation of the simulation semantics of multi-lingual specified heterogeneous systems.		2003	RDF
17	Frédéric Landragin	Modélisation de la communication multimodale : vers une formalisation de la pertinence. (Multimodal Communication Modelling: Towards a Formalization of Relevance).		2003	RDF
17	Alan L. Rector	Analysis of propagation along transitive roles: Formalisation of the GALEN experience with Medical Ontologies.	Description Logics	2002	DBLP BibTeX RDF
17	Barry A. T. Brown	Unpacking a Timesheet: Formalisation and Representation.	Comput. Support. Cooperative Work.	2001	DBLP DOI BibTeX RDF
17	Laurent Chicli	Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq.	JFLA	2001	DBLP BibTeX RDF
17	Lina García-Cabrera, María José Rodríguez-Fórtiz, José Parets-Llorca	Toward a Formalisation of Evolutionary Hypermedia Systems Based on System Theory.	EUROCAST	2001	DBLP DOI BibTeX RDF
17	Victor Bos, J. J. T. Kleijn	Formalisation of a Production System Modelling Language The operational semantics of c Core.	Fundam. Informaticae	2000	DBLP DOI BibTeX RDF
17	Andrew A. Adams	A Formalisation of Weak Normalisation (with Respect to Permutations) of Sequent Calculus Proofs.	LMS J. Comput. Math.	2000	DBLP DOI BibTeX RDF
17	Michael Winter 0001	An Algebraic Formalisation of L-Fuzzy Relations.	RelMiCS	2000	DBLP BibTeX RDF
17	Vojtech Svátek, Tomás Kroupa, Marek Ruzicka	Guide-X - a Step-by-Step, Markup-Based Approach to Guideline Formalisation.	EWGLP	2000	DBLP DOI BibTeX RDF
17	Tomaz Klobucar, Borka Jerman-Blazic	A formalisation and evaluation of certificate policies.	Comput. Commun.	1999	DBLP DOI BibTeX RDF
17	Peter Veelaert, Herbert Peremans	Flexibility maps: A formalisation of navigation behaviours.	Robotics Auton. Syst.	1999	DBLP DOI BibTeX RDF
17	Rafaél Hernández Marín, Giovanni Sartor	Time and norms: a formalisation in the event-calculus.	ICAIL	1999	DBLP DOI BibTeX RDF
17	Yahia Rabih	Formalisation and Analysis of Dynamic Behaviour in Object-Oriented Systems.	ADBIS (Short Papers)	1999	DBLP BibTeX RDF
17	Robert Demolombe	Database Validity and Completeness: Another Approach and its Formalisation in Modal Logic.	KRDB	1999	DBLP BibTeX RDF
17	Jean-Philippe Kotowicz, Xavier Briffault	Linguistic Engineering for Conception of Multi-Agents Systems-Application to the Formalisation of Enterprise Information Systems.	ICEIS	1999	DBLP BibTeX RDF
17	Greg Reeve	Improving Software using Requirements Formalisation.	New Zealand Computer Science Research Students' Conference	1999	DBLP BibTeX RDF
17	Renaud Lecoeuche	Formalisation and evaluation of focus theories for requirements elicitation dialogues in natural language.		1999	RDF
17	Amokrane Saïbi	Outils Génériques de Modélisation et de Démonstration pour la Formalisation des Mathématiques en Théorie des Types. Application à la Théorie des Catégories. (Formalization of Mathematics in Type Theory. Generic tools of Modelisation and Demonstration. Application to Category Theory).		1999	RDF
17	Jane Hesketh, David Stuart Robertson 0001, Norbert E. Fuchs, Alan Bundy	Lightweight Formalisation in Support of Requirements Engineering.	Autom. Softw. Eng.	1998	DBLP DOI BibTeX RDF
17	Peter McBrien, Alexandra Poulovassilis	A Formalisation of Semantic Schema Integration.	Inf. Syst.	1998	DBLP DOI BibTeX RDF
17	Beata Konikowska, Charles G. Morgan, Ewa Orlowska	A Relational Formalisation of Arbitrary Finite Valued Logics.	Log. J. IGPL	1998	DBLP DOI BibTeX RDF
17	Peter Lucas	Symbolic diagnosis and its formalisation.	Knowl. Eng. Rev.	1997	DBLP DOI BibTeX RDF
17	Gerard R. Renardel de Lavalette, Rix Groenboom, Ernest Rotterdam, Frank van Harmelen, Annette ten Teije, Fred de Geus	Formalisation for decision support in anaesthesiology.	Artif. Intell. Medicine	1997	DBLP DOI BibTeX RDF
17	Jeffery R. Wickens, R. Miller	A formalisation of the neural assembly concept 1. Constraints on neural assembly size.	Biol. Cybern.	1997	DBLP DOI BibTeX RDF
17	Alvaro A. A. Fernandes, Maria L. Barja, Norman W. Paton, M. Howard Williams	The formalisation of ROCK & ROLL: A deductive object-oriented database system.	Inf. Softw. Technol.	1997	DBLP DOI BibTeX RDF
17	Ewa Orlowska	Relational Formalisation of Nonclassical Logics.	Relational Methods in Computer Science	1997	DBLP DOI BibTeX RDF
17	Rebecca E. Grinter	Doing Software Development: Occasions for Automation and Formalisation.	ECSCW	1997	DBLP BibTeX RDF
17	Jaelson F. B. Castro, Marco A. Toranzo, Christian J. Gautreau, Marcio A. S. Bueno	Multiview: Requirements Modeling and Formalisation.	SBES	1997	DBLP DOI BibTeX RDF
17	Mathieu Jaume	Formalisation de la SLD-résolution dans le calcul des constructions inductives.	JFPLC	1997	DBLP BibTeX RDF
17	Johan Blom	Formalisation of Requirements with Emphasis on Feature Interaction Detection.	FIW	1997	DBLP BibTeX RDF
17	Jeffery R. Wickens, R. Miller	Requirements for Neural Assembly Formation, Ignition and Maintenance: Formalisation of Traditional Concepts.	ICONIP (1)	1997	DBLP BibTeX RDF
17	Nathalie Denos	Modélisation de la pertinence en recherche d'information : modèle conceptuel, formalisation et application. (Modelling relevance for information retrieval: conceptual model, formalization and application).		1997	RDF
17	Peter Nickolas, Peter J. Robinson 0001	The Qu-Prolog Unification Algorithm: Formalisation and Correctness.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
17	Jean-Denis Fouks, Jean-Claude Spehner	Meta-Resolution: An Algorithmic Formalisation.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
17	Henry Prakken	Two Approaches to the Formalisation of Defeasible Deontic Reasoning.	Stud Logica	1996	DBLP DOI BibTeX RDF
17	Ralph Rönnquist, Chi Keen Low	Formalisation of Interaction Diagrams.	APSEC	1996	DBLP DOI BibTeX RDF	concurrent object oriented system, multi-agent system, fragmentation, Interaction diagram
17	Jaelson Freire Brelaz de Castro, Christian J. Gautreau, Marco Antonio Toranzo Céspedes	Towards an Environment to Support Requirements Formalisation.	SBES	1996	DBLP DOI BibTeX RDF
17	Jaelson F. B. Castro, Christian J. Gautreau, Marco A. Toranzo	Tool support for requirements formalisation.	ISAW/Viewpoints@FSE	1996	DBLP DOI BibTeX RDF
17	Frédéric Cuppens, Alban Gabillon	Formalisation de la Confidentialité dans une Base de Données à Objets.	BDA	1996	DBLP BibTeX RDF
17	Philippe Owezarski	Conception et formalisation d'une application de visioconférence coopérative. Application et extension pour la téléformation.		1996	RDF
17	Mark Pfeiffer, John Leaney	The Simple Reliable Monitor: A Formalisation of the Concept of a Safe Software Monitor.	Aust. Comput. J.	1995	DBLP BibTeX RDF
17	Marc Pauwels, Gert Goossens, Francky Catthoor, Hugo De Man	Formalisation of multi-precision arithmetic for high-level synthesis of DSP architectures.	J. VLSI Signal Process.	1995	DBLP DOI BibTeX RDF
17	Stephen Murrell, Robert Plant	Decision Tables: Formalisation, Validation and Verification.	Softw. Test. Verification Reliab.	1995	DBLP DOI BibTeX RDF
17	Andrew Stranieri, John Zeleznikow	Levels of Reasoning as the Basis for a Formalisation of Argumentation.	CIKM	1995	DBLP DOI BibTeX RDF