Search results for "Formalization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
44	Nikos I. Karacapilidis, Manolis Tzagarakis	Supporting Incremental Formalization in Collaborative Learning Environments.	EC-TEL	2007	DBLP DOI BibTeX RDF	Collaborative Knowledge Building and Sharing, Services for Technology Enhanced Learning, Problem Solving Support, Learning Communities and Distributed Teams, Incremental Formalization
44	Wilbert H. F. J. Körver	A universal formalization of the effects of threshold voltages for discrete switch-level circuit models.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	field effect transistor switches, threshold voltage effects, discrete switch-level circuit models, universal formalization, switch imperfection, CMOS design, demolition degree, CMOS digital integrated circuits, state transitions, integrated circuit modelling, switching circuits
40	Yucong Duan	A dualism based semantics formalization mechanism for model driven engineering.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
40	Harald F. O. von Kortzfleisch, Andreas Al-Laham	Structurization and Formalization of Knowledge Management in Virtual Organizations: The Case of a Medium-Sized Consulting Company.	HICSS	2000	DBLP DOI BibTeX RDF
40	Jia-Huai You, Li-Yan Yuan	Three-Valued Formalization of Logic Programming: Is It Needed?	PODS	1990	DBLP DOI BibTeX RDF
37	Baris Özkan, Onur Demirörs	Formalization Studies in Functional Size Measurement: How Do They Help?	IWSM/Mensura	2009	DBLP DOI BibTeX RDF	Software Functional Size Measurement, Functional Size Measurement Methods, Formalization, Software Models
37	Fidel Aznar Gregori, Maria Del Mar Pujol López, Ramón Rizo Aldeguer, Pablo Suau Pérez	A New Artificial Life Formalization Model: A Worm with a Bayesian Brain.	KELSI	2004	DBLP DOI BibTeX RDF	Life Formalization Model, Artificial Life, Bayesian Programming
33	Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini	Formalization and validation of a subset of the European Train Control System.	ICSE (2)	2010	DBLP DOI BibTeX RDF	formal methods, methodology, requirements validation
33	John Howse, Gem Stapleton	Visual Mathematics: Diagrammatic Formalization and Proof.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
33	Lin Yan 0002, Qing Liu 0011	A Logical Method of Formalization for Granular Computing.	GrC	2007	DBLP DOI BibTeX RDF
33	Ming-Hsien Tsai 0001, Bow-Yaw Wang	Formalization of CTL* in Calculus of Inductive Constructions.	ASIAN	2006	DBLP DOI BibTeX RDF
33	Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk	Formalization of Fixed-Point Arithmetic in HOL.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	theorem-proving, floating-point arithmetic, fixed-point arithmetic, HOL
33	Jorge E. López de Vergara, Víctor A. Villagrá, Julio Berrocal	On the Formalization of the Common Information Model Metaschema.	DSOM	2005	DBLP DOI BibTeX RDF
33	Hiroshi Nakajima, Kazuto Kojitani, Masaki Arao, Shigeyasu Kawaji	Problem Formalization and Problem Solving Approach based on Fusion Model.	WSTST	2005	DBLP DOI BibTeX RDF
33	Nikolaj Oldager	Intensional Formalization of Conceptual Structures.	ICCS	2003	DBLP DOI BibTeX RDF
33	Luís Cruz-Filipe	A Constructive Formalization of the Fundamental Theorem of Calculus.	TYPES	2002	DBLP DOI BibTeX RDF
33	Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar	Formalization of Cadence SPW Fixed-Point Arithmetic in HOL.	IFM	2002	DBLP DOI BibTeX RDF	SPW, Theorem-Proving, Signal Processing, Floating-point, Fixed-point, HOL
33	John R. Landry	Culture and the formalization of organizational decision support systems.	HICSS (4)	1995	DBLP DOI BibTeX RDF	cultural phenomenon, codification, software engineering, decision support systems, decision support systems, culture, information sharing, diffusion, business data processing, group decision support systems, organizational decision support systems
33	John C. Thompson, Reza Sanati-Mehrizy	Formalization of operations and function definitions in a functional programming language for data structures.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
31	Jinghua Wen, Mei Zhang, Xiang Li	The study on the application of BAN logic in formal analysis of authentication protocols.	ICEC	2005	DBLP DOI BibTeX RDF	formalization analysis, authentication protocols, BAN logic
30	Raihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar 0001	Trust Formalization in Mobile Ad-Hoc Networks.	AINA Workshops	2010	DBLP DOI BibTeX RDF	trust-formalization, security, routing, mobile ad hoc networks, trust
30	Sabnam Sengupta, Swapan Bhattacharya	Formalization of UML diagrams and their consistency verification: A Z notation based approach.	ISEC	2008	DBLP DOI BibTeX RDF	UML, traceability, formalization, class diagram, sequence diagram, Z notation, automated verification, use case diagram, ER diagram
30	Charlotte Tang, Sheelagh Carpendale	Support for Informal Information Use and its Formalization in Medical Work.	CBMS	2008	DBLP DOI BibTeX RDF	informal information, formalization, work practices, medical, common information space, personal information space
30	Ahmed M. Mostafa, Manal Ahmed Ismail, Hatem El-Bolok, E. M. Saad	Toward a Formalization of UML2.0 Metamodel using Z Specifications.	SNPD (1)	2007	DBLP DOI BibTeX RDF	Use Case Diagram, State Machine Diagram, Unified Modeling Language (UML), Formalization, Class Diagram, Z specification language
30	Kai A. Olsen	Computer Intelligence and Formalization.	Computer	2006	DBLP DOI BibTeX RDF	computing profession, formalization, computer intelligence
30	Chia-Chu Chiang, Joseph E. Urban	Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations.	COMPSAC	1996	DBLP DOI BibTeX RDF	incremental elicitation, user specifications, TUG formal specification language, abstract execution, change request scripts, specification changes, timely updates, telegram analysis problem, formal specification, specification languages, rapid prototyping, formalization, software prototyping, user requirements, software transformations
30	Frank M. Shipman III, Raymond McCall	Supporting knowledge-base evolution with incremental formalization.	CHI	1994	DBLP DOI BibTeX RDF	knowledge representation, knowledge-based systems, knowledge acquisition, hypermedia, structure, formalization
30	Sarita V. Adve, Mark D. Hill	A Unified Formalization of Four Shared-Memory Models.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	data-race-free-1, data-race-free-0, hazards and raceconditions, multiprocessors, shared memory systems, formalization, sequential consistency, weak ordering, shared-memory models, release consistency
27	Amit K. Chopra, Munindar P. Singh	Multiagent commitment alignment.	AAMAS (2)	2009	DBLP BibTeX RDF	alignment, commitments, autonomy, asynchrony
27	Stefan Mandl, Bernd Ludwig	Coping with Unconsidered Context of Formalized Knowledge.	CONTEXT	2007	DBLP DOI BibTeX RDF
27	Behzad Akbarpour, Sofiène Tahar	Modeling System C Fixed-Point Arithmetic in HOL.	ICFEM	2003	DBLP DOI BibTeX RDF
27	Matthias Weber 0003	Deriving Transivity of VDM-Reification in DEVA.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
27	Huang Weiqiao	Industrializing software production.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
27	Susan L. Gerhart	Correctness-Preserving Program Transformations.	POPL	1975	DBLP DOI BibTeX RDF
26	Jinhong Cui, Wang Xu	Formalization and Verification of Inter-organizational Workflow Modeling for E-Commerce.	ISECS	2008	DBLP DOI BibTeX RDF
26	Guido Zuccon, Leif Azzopardi, C. J. van Rijsbergen	A Formalization of Logical Imaging for Information Retrieval Using Quantum Theory.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	Logical Imaging, Information Retrieval, kinematics, Quantum Theory
26	Michael A. Shifrin, Olga B. Belousova, Eva I. Kasparova	Diagnostic Games, a Tool for Clinical Experience Formalization in Interactive "Physician--IT-specialist" Framework.	CBMS	2007	DBLP DOI BibTeX RDF
26	Osman Hasan, Sofiène Tahar	Formalization of Continuous Probability Distributions.	CADE	2007	DBLP DOI BibTeX RDF
26	Radu Serban, Anna Puig-Centelles, Annette ten Teije	Incremental guideline formalization with tool support.	AIAI	2006	DBLP DOI BibTeX RDF
26	Alessandro Daidone, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna	Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution.	SRDS	2006	DBLP DOI BibTeX RDF
26	Jianwen Chen, Yan Zhang 0003	An extended logic programming based multi-agent system formalization in mobile environments.	CIKM	2004	DBLP DOI BibTeX RDF	extended logic programming, multi-agent system, mobile environments
26	Dachuan Yu, Andrew Kennedy, Don Syme	Formalization of generics for the .NET common language runtime.	POPL	2004	DBLP DOI BibTeX RDF	CLR, run-time types, generics, polymorphism, NET
26	Rodrigo E. Caballero, Steven A. Demurjian	Towards the Formalization of a Reusability Framework for Refactoring.	ICSR	2002	DBLP DOI BibTeX RDF
26	Thomas Bittner	A Qualitative Formalization of Built Environments.	DEXA	2000	DBLP DOI BibTeX RDF
26	Takahisa Mohri	On Formalization of Bicategory Theory.	TPHOLs	1997	DBLP DOI BibTeX RDF
26	Malcolm Shroff, Robert B. France	Towards a formalization of UML class structures in Z.	COMPSAC	1997	DBLP DOI BibTeX RDF	UML class structures, semantic base, OO model, Unified Modeling Language, formal specification, specification, object-oriented modeling, modeling language, Z language
26	Ian Maung, John Howse, Richard J. Mitchell	Towards a Formalization of Programming-by-Difference.	FME	1994	DBLP DOI BibTeX RDF	contravariance, inheritance, subtype, design-by-contract, incremental programming
26	Guillaume Le Blanc	BMWk Revisited - Generalization and Formalization of an Algorithm for Detecting Recursive Relations in Term Sequences.	ECML	1994	DBLP DOI BibTeX RDF
25	Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa	Formalization of Reed-Solomon codes and progress report on formalization of LDPC codes.	ISITA	2016	DBLP BibTeX RDF
25	Gabriel Vatin	Formalisation d'un environnement d'aide à l'analyse géovisuelle : Application à la sécurité et sûreté de la maritimisation de l'énergie. (Formalization of a Geovisual Analytics Support Environment / Formalization of a Geovisual Analytics Support Environment : Application to Maritime Oriented Energy Safety and Security).		2014	RDF
25	German Montejano, Robert Uzal, Daniel Riesco, Aristides Dasso, Ana Funes, Mario Peralta, Carlos Salgado, Narayan C. Debnath	Integrating balanced scorecard domain formalization with underlying project plan formalization.	AICCSA	2005	DBLP DOI BibTeX RDF
24	Tuan Minh Pham	Similar triangles and orientation in plane elementary geometry for Coq-based proofs.	SAC	2010	DBLP DOI BibTeX RDF	similar triangles, orientation, formalization, Coq, geometric theorem proving
24	Wendy Verbruggen, Edsko de Vries, Arthur Hughes	Polytypic programming in COQ.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	kind-indexed types, theorem proving, generic programming, formalization, coq, polytypic programming
24	Juan M. Vara, Belén Vela, José María Cavero, Esperanza Marcos	Model transformation for object-relational database development.	SAC	2007	DBLP DOI BibTeX RDF	model transformation, graph transformation, formalization, object-relational databases
24	Daniela Feldkamp, Knut Hinkelmann, Barbara Thönssen	KISS - Knowledge-Intensive Service Support: An Approach for Agile Process Management.	RuleML	2007	DBLP DOI BibTeX RDF	Agile Business Process, Business Rules Formalization, Variable Process, Process Modelling, Business Rules
24	Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko	Practical Approach to Specification and Conformance Testing of Distributed Network Applications.	ISAS	2005	DBLP DOI BibTeX RDF	asynchronous events specification, distributed system specification, formalization of standards, automated test construction, specification extension of programming language, test oracle generation, UniTesK, model based testing, conformance testing, Design by Contract
24	Fidel Aznar Gregori, Mar Pujol López, Ramón Rizo Aldeguer	Specifying Complex Systems with Bayesian Programming. An Alife Application.	International Conference on Computational Science (1)	2005	DBLP DOI BibTeX RDF	Complex Systems Modeling, Artificial Life Formalization Model, Bayesian Programming
24	Jie Yuan, Huaikou Miao, Liang Cai	A Design Pattern Verifier in Two-Tier Programming Environment.	CIT	2004	DBLP DOI BibTeX RDF	Automatic verification of program, Two-tier Programming, Design pattern, Formalization
24	Bernhard Schätz, Christian Salzmann	Service-Based Systems Engineering: Consistent Combination of Services.	ICFEM	2003	DBLP DOI BibTeX RDF	model checking, interaction, specification, component, application, consistency, implementation, Service, completeness, tool- support, behavior, formalization, partiality
24	Xiaojuan Zheng, Tao Xu, Ying Jin 0002	Formalizing Active Networks Security with Seal-Calculus.	ISPA	2003	DBLP DOI BibTeX RDF	ANs, active codes, Seal-calculus, security, formalization
24	Iliano Cervesato, Massimo Franceschet, Angelo Montanari	Modal Event Calculi with Preconditions.	TIME	1997	DBLP DOI BibTeX RDF	modal event calculi, event occurrences, maximal validity intervals, semantic formalization, MVI validation, complexity, temporal logic, temporal logic, preconditions, event calculus
24	Jun Han	Designing for Increased Software Maintainability.	ICSM	1997	DBLP DOI BibTeX RDF	software maintenance, traceability, formalization, change management, Design rationales, design decisions, software comprehension, design specifications
24	Bénédicte Dano, Henri Briand, Franck Barbier	Progressing Towards Object-Oriented Requirements Specifications by using the USE CASE Concept.	ECBS	1996	DBLP DOI BibTeX RDF	dynamic specifications, verification, requirements engineering, formalization, object-oriented analysis
24	Jan Madsen, Bjarne Hald	An approach to interface synthesis.	ISSS	1995	DBLP DOI BibTeX RDF	channel optimization, client-side interface description, client/server module synthesis, communication events formalization, existing module reuse, multiple client/server environment, one-sided interface description, server interface description, software reusability, application program interfaces, client-server systems, subroutines, interface synthesis, point-to-point communication
24	José Oncina, Pedro García 0001, Enrique Vidal 0001	Learning Subsequential Transducers for Pattern Recognition Interpretation Tasks.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	subsequential transducers, pattern recognition, pattern recognition, learning, learning (artificial intelligence), inference, inference mechanisms, formalization, inductive learning
24	Geoff Barrett	Formal Methods Applied to a Floating-Point Number System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	floating-point number system, binary floating-point arithmetic, ANSI/IEEE Std. 754-1985, set-theoretic specification language, sequential components, unpack, operands, proven rules, mathematically rigorous method, Inmos IMS T800 transputer, formal specification, formal methods, specification languages, digital arithmetic, Z, formalization, round, pack, program development, IEEE standard, floating-point unit, internal representations
20	Bernadette Charron-Bost, Antoine Gaillard, Jennifer L. Welch, Josef Widder	Routing without ordering.	SPAA	2009	DBLP DOI BibTeX RDF	link reversal, routing, work complexity
20	Liliana Favre	A Formal Foundation for Metamodeling.	Ada-Europe	2009	DBLP DOI BibTeX RDF	Meta Object Facility (MOF), Formal specification, Model Driven Architecture (MDA), Transformation (QVT), Metamodeling, Query, View
20	Travis D. Breaux, Annie I. Antón, Jon Doyle	Semantic parameterization: A process for modeling domain descriptions.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	formal specification, Natural language, description logic, domain knowledge
20	Christopher Dartnell, Eric Martin 0002, Jean Sallantin	Learning from Each Other.	Discovery Science	2008	DBLP DOI BibTeX RDF	Interaction for Knowledge Discovery, Machine learning, Logic
20	Noriaki Yoshiura	Formal Definition of Relevant Logical Symbol Occurrence.	KES (2)	2008	DBLP DOI BibTeX RDF
20	Adrian Rutle, Uwe Wolter, Yngve Lamo	A diagrammatic approach to model transformations.	EATIS	2008	DBLP DOI BibTeX RDF	diagrammatic specifications, eclipse modeling framework, meta object facility, modeling, unified modeling language, model driven architecture, model transformations
20	Michelle Chabrol, Michel Gourgand, Sophie Rodier	A modeling methodology and its application to the design of decision-making aid tools dedicated to the hospital systems.	RCIS	2008	DBLP DOI BibTeX RDF
20	Mustafa Jarrar	Towards Automated Reasoning on ORM Schemes.	ER	2007	DBLP DOI BibTeX RDF
20	Gerardo Padilla, Farokh B. Bastani, Carlos Montes de Oca, Miguel A. Serrano	Instantiation Semantics for Message Sequence Charts.	ENC	2006	DBLP DOI BibTeX RDF
20	Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang 0001, Wei Dong 0006	Improvements Towards Formalizing UML State Diagrams in CSP.	APSEC	2005	DBLP DOI BibTeX RDF
20	Gueorgui I. Jojgov	Translating a Fragment of Weak Type Theory into Type Theory with Open Terms.	MKM	2005	DBLP DOI BibTeX RDF
20	Robin Adams 0001	Formalized Metatheory with Terms Represented by an Indexed Family of Types.	TYPES	2004	DBLP DOI BibTeX RDF
20	Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov	A Formal Analysis of Some Properties of Kerberos 5 Using MSR.	CSFW	2002	DBLP DOI BibTeX RDF
20	Jorge A. Baier	On Procedure Recognition in the Situation Calculus.	SCCC	2002	DBLP DOI BibTeX RDF
20	Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez	A Certified Polynomial-Based Decision Procedure for Propositional Logic.	TPHOLs	2001	DBLP DOI BibTeX RDF
20	Victor L. Winter, Dejan Desovski, Bojan Cukic	Virtual Environment Modeling for Requirements Validation of High Consequence Systems.	RE	2001	DBLP DOI BibTeX RDF
20	Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001	Formal and Use-Case Driven Requirement Analysis in UML.	COMPSAC	2001	DBLP DOI BibTeX RDF	Incremental Model Building, UML, Object-Orientation, Conceptual Model, Use Cases
20	Olivier Danvy	Formalizing Implementation Strategies for First-Class Continuations.	ESOP	2000	DBLP DOI BibTeX RDF
20	Ulrike Lechner, Beat F. Schmid	Communities and Media - Towards a Reconstruction of Communities on Media.	HICSS	2000	DBLP DOI BibTeX RDF
20	Bernd Grobauer, Olaf Müller	From I/O Automata to Timed I/O Automata.	TPHOLs	1999	DBLP DOI BibTeX RDF
20	Franz Huber, Bernhard Schätz, Geralf Einert	Consistent Graphical Specification of Distributed Systems.	FME	1997	DBLP DOI BibTeX RDF
19	Hai Wan, Gang Chen 0004, Xiaoyu Song, Ming Gu 0001	Formalization and Verification of PLC Timers in Coq.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
19	Chao Ma 0008, Yanxiang He, Naixue Xiong, Laurence Tianruo Yang	VFT: An Ontology-Based Tool for Visualization and Formalization of Web Service Composition.	CSE (1)	2009	DBLP DOI BibTeX RDF
19	Peifung E. Lam, John C. Mitchell, Sharada Sundaram	A Formalization of HIPAA for a Medical Messaging System.	TrustBus	2009	DBLP DOI BibTeX RDF
19	Phan Cong Vinh, Jonathan P. Bowen	Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	Dynamically Programmable Field Array (DPGA), Flowware, Configware, Configware engineering, Embedded systems, Formal methods, Reconfigurable computing, Dynamic reconfiguration
19	Francisco Durán 0001, Francisco Gutiérrez, Pablo López, Ernesto Pimentel 0001	A formalization of the SMEPP model in Maude.	MobiQuitous	2008	DBLP DOI BibTeX RDF	peer-to-peer systems, formal semantics, automated verification, service-oriented models
19	Sergiy A. Vilkomir, Jonathan P. Bowen	From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
19	Andrea Asperti, Wilmer Ricciotti	About the Formalization of Some Results by Chebyshev in Number Theory.	TYPES	2008	DBLP DOI BibTeX RDF
19	Emiliano Lorini, Robert Demolombe	Trust and Norms in the Context of Computer Security: A Logical Formalization.	DEON	2008	DBLP DOI BibTeX RDF
19	Shaoying Liu	Utilizing Formalization to Test Programs without Available Source Code (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	Testing, Specification-based testing, Software Quality Assurance
19	Toshihiro Matsui, Hiroshi Matsuo	A Formalization for Distributed Cooperative Sensor Resource Allocation.	KES-AMSTA	2008	DBLP DOI BibTeX RDF
19	Philip H. P. Nguyen, Ken Kaneiwa, Dan Corbett, Minh-Quang Nguyen	An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory.	Australasian Conference on Artificial Intelligence	2008	DBLP DOI BibTeX RDF
19	Luca Bellotti	Formalization, Syntax and the Standard Model of Arithmetic.	Synth.	2007	DBLP DOI BibTeX RDF	MSC 2000 00A30, 03A05, 03B10, 03E30
19	Yasuhiro Ogawa, Shintaro Inagaki, Katsuhiko Toyama	Automatic Consolidation of Japanese Statutes Based on Formalization of Amendment Sentences.	JSAI	2007	DBLP DOI BibTeX RDF	automatic consolidation, statute document, amendment sentence