Search results for "formalism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Frank Terpstra, Zhiming Zhao, Wico Mulder, Pieter W. Adriaans	Towards a Formal Foundation for Aggregating Scientific Workflows.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF	formalism, I/O Automata, workflow design
21	Hyung-Jong Kim 0002	Vulnerability Modeling and Simulation for DNS Intrusion Tolerance System Construction.	AIS	2004	DBLP DOI BibTeX RDF	Atomic Vulnerability, DNS, Intrusion Tolerance, Vulnerability Analysis, DEVS formalism
21	Kiminori Matsuzaki, Kazuhiko Kakehi 0001, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi	A Fusion-Embedded Skeleton Library.	Euro-Par	2004	DBLP DOI BibTeX RDF	Skeletal Parallel Programming, Fusion Transformation, Bird-Meertens Formalism, Optimization, Program Transformation
21	Adalberto Farias, Alexandre Mota 0001, Augusto Sampaio	Efficient CSPZ Data Abstraction.	IFM	2004	DBLP DOI BibTeX RDF	Integrated formalism, CSPZ, Java, model checking, verification, specification, tool support, data abstraction
21	Stephen J. H. Yang, Jeffrey J. P. Tsai, Chyun-Chyi Chen	Fuzzy Rule Base Systems Verification Using High-Level Petri Nets.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	rules reasoning, rule verification, Petri nets, formalism, high-level Petri nets, fuzzy rules, certainty factors
21	Ira Acharya, Hemendra Kumar Singh	Testing of 3G 1xEV-DV Stack - A Case Study.	TestCom	2003	DBLP DOI BibTeX RDF	testing challenges, IUT, 1xEV-DV, EV-DV, DV, reference implementation, 3GPP2, LAC, RLP, L2, L3, packet data channel, PDCHCF, Message Integrity, simulation, Testing, MAC, queues, behavior, task, video conferencing, SDL, formalism, 3G, Signaling, logging, conformance, test automation, formal description techniques, MSC, timers, protocol stack, test scripts, TTCN
21	Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux	Extending the Translation from SDL to Promela.	SPIN	2002	DBLP DOI BibTeX RDF	SDL formalism, save operator, model-checking, data abstraction
21	HyungJong Kim 0002	System Specification Based Network Modeling for Survivability Testing Simulation.	ICISC	2002	DBLP DOI BibTeX RDF	Survivability, Simulation Model, Vulnerability Analysis, System Specification, DEVS-Formalism
21	Christine Choppy, Pascal Poizat, Jean-Claude Royer	A Global Semantics for Views.	AMAST	2000	DBLP DOI BibTeX RDF	mixed specifications, view formalism, global semantics
21	Ravi K. Gedela, Sol M. Shatz, Haiping Xu	Formal modeling of synchronization methods for concurrent objects in Ada 95.	SIGAda	1999	DBLP DOI BibTeX RDF	Petri net formalism, Ada-95, concurrent objects, distributed software, synchronization methods
21	Claudia I. Horta, José A. Lima	Slicing and non-slicing, unified and rotation independent, algebraic representation of floorplans.	EUROMICRO	1997	DBLP DOI BibTeX RDF	floorplan area optimization problem, rectangle envelope, nonoverlapping basic rectangles, floorplan topology, formal algebraic specification, SETS notation, VLSI physical design layout, module dimensions, arbitrarily complex composite floorplans, rotation-invariant single-expression formalism, generalized wheels floorplans, slicing representation, nonslicing representation, unified representation, topology-dimensionless description, floorplanning problem algorithms, algebraic specification, line segments, relative positioning
21	Theodosis Dimitrakos, T. S. E. Maibaum	Notes on Refinement, Interpolation and Uniformity.	ASE	1997	DBLP DOI BibTeX RDF	step-wise refinement, modularity properties, logic-independent framework, uniform interpolants, specification formalism orthogonal expansion, software maintenance, interpolation, uniformity, program development, proof obligations
21	Antonia Bertolino, Paola Inverardi, Henry Muccini, Andrea Rosetti	An approach to integration testing based on architectural descriptions.	ICECCS	1997	DBLP DOI BibTeX RDF	formal architectural descriptions, CHAM formalism, coverage strategy, software engineering, software architectures, unit testing, integration testing, architectural descriptions
21	Ilham Alloui, Flávio Oquendo	Support for environment-mediated human cooperation in large-scale reuse-based projects.	ISPW	1996	DBLP DOI BibTeX RDF	environment-mediated human cooperation support, large-scale reuse-based projects, complex system composition process, distributed system composition process, Peace+knowledge-based formalism, modelling interactions, project participants, rational action theory, multi-agent paradigm, software reusability, distributed artificial intelligence, intention, speech acts theory
21	Georg Heidenreich, Mark Minas, Detlef Kips	A New Approach to Consistency Control in Software Engineering.	ICSE	1996	DBLP BibTeX RDF	change tracking, computer-based software process management, high-level formalism, life cycle models, software representations, software engineering, compilers, standards, software quality, project management, software process, configuration management, quality assurance, version control, software development management, software project management, consistency control, ISO standards, ISO 9000
21	Zhen Liu 0001, Philippe Nain, Donald F. Towsley	Sample path methods in the control of queues.	Queueing Syst. Theory Appl.	1995	DBLP DOI BibTeX RDF	mathematical formalism, sample path arguments, scheduling, Control, discrete event system, queueing system, stochastic comparison
21	Richard Robinson, Devin Cook, Steven L. Tanimoto	Programming Agents with Visual Rules.	VL	1995	DBLP DOI BibTeX RDF	visual programming facility, visual rule formalism, agent behaviour specification, program objects, Agentsheets system, Repenning, simulation design, two-dimensional cellular worlds, automobile traffic flow situations, Agent Builder, icon arrangement, worksheet, icon gallery, graphical user interfaces, programming environments, cellular automata, software agents, visual programming, visual languages, digital simulation, video games, agent programming
21	Xianwu Ma, Tom Hintz	Re-Vision: a methodology and tool for parallel computations.	HICSS (2)	1995	DBLP DOI BibTeX RDF	Re-Vision, behaviour-oriented formalism, multiple problem views, methodology specification, modeling, user interfaces, parallel programming, parallel computations, software tools, programming environments, metamodeling, computer aided software engineering, data transformation, complexity reduction, software engineering methodology, computer environment
21	Amit Basu, Robert W. Blanning	Discovering implicit integrity constraints in rule bases using metagraphs.	HICSS (3)	1995	DBLP DOI BibTeX RDF	implicit integrity constraints, metagraphs, graph formalism, if-then rules, metagraph representation, knowledge representation, graph theory, data integrity, knowledge based systems, knowledge based system, decision support systems, DSS, problem solving, integrity constraints, domain knowledge, rule bases, rule base
21	Debby Keen, Arcot Rajasekar	Inductive certainty factors from databases.	HICSS (3)	1995	DBLP DOI BibTeX RDF	inductive certainty factors, missing information inference, statistical based measures, inductive dependencies, delta measurement, delta functions, knowledge mining formalism, databases, artificial intelligence, knowledge representation, knowledge acquisition, knowledge acquisition, deductive databases, inference mechanisms, uncertainty handling, intelligent information systems
21	Leo Mark, Roberta Cochrane	Grammars and Relations.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	grammar formalism, grammar-based tools, user interfaces, query processing, relational databases, relational model, context-free grammars, context-free grammars, hierarchical structure, complex objects, relational database systems, front ends, relational queries
21	Valerio Allegranza, Annelise Bech	A treatment of unbounded dependencies in eurotra with an experimental coindexation tool.	Mach. Transl.	1991	DBLP DOI BibTeX RDF	coindexation, Danish, Italian, unbounded dependencies, formalism, German
21	Doug Arnold, Louisa Sadler	Transfer formalisms.	Mach. Transl.	1991	DBLP DOI BibTeX RDF	cornpositionality, Dutch, formalism, constructivism, transfer, English
21	Nazim H. Madhavji, Wilhelm Schäfer	Prism-Methodology and Process-Oriented Environment.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	process-oriented environment, Prism model, product software process description, hybrid process modeling language, high-level Petri net formalism, software engineering, Petri nets, rules
21	Farhad S. Etessami, Gurdeep S. Hura 0001	Rule-Based Design Methodology for Solving Control Problems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	control problems, rule-based design methodology, abstract Petri nets, formalism tool, high-level interaction, elevator system, formal specification, Petri nets, specification, software tools, validation, knowledge engineering, dynamic behaviour
21	Reg G. Willson, Bruce H. Krogh	Petri Net Tools for the Specification and Analysis of Discrete Controllers.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Petri net tools, discrete controllers, discrete-state systems, rule-based state-variable-specification formalism, interconnected state machines, reduced reachability graphs, discrete manufacturing systems, modeling, formal specification, Petri nets, specification, controllers, computerised control, discrete systems
21	Valeria De Antonellis, Bruna Zonta	A Disciplined Approach to Office Analysis.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	office requirements, disciplined language, conventionality, concrete concepts, minimum formalism, computer-based office support system, designer, formal specification, programming languages, formal languages, morphology, computational linguistics, syntax, office automation
21	Lil Mohan, Rangasami L. Kashyap	An Object-Oriented Knowledge Representation for Spatial Information.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	object-oriented knowledge representation, abstract formalism, pictorial information, conceptual abstractions, data structures, knowledge engineering, object-oriented method, knowledge model, spatial information
19	Philippe Beaucamps	Extended recursion-based formalization of virus mutation.	J. Comput. Virol.	2009	DBLP DOI BibTeX RDF
19	David England, Martin Randles, A. Taleb-Bendiab	Runtime user interface design and adaptation.	BCS HCI	2009	DBLP BibTeX RDF	user interface description, situation calculus, runtime adaptation
19	Diego R. García, Alejandro Javier García, Guillermo Ricardo Simari	Defeasible Reasoning and Partial Order Planning.	FoIKS	2008	DBLP DOI BibTeX RDF
19	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings.	FoIKS	2008	DBLP DOI BibTeX RDF
19	Michelle L. Crane, Jürgen Dingel	UML vs. classical vs. rhapsody statecharts: not all models are created equal.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF
19	Vladimir S. Lerner	Information Systems Theory and Informational Macrodynamics: Review of the Main Results.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
19	Gillian Dobbie, Jing Sun 0002, Yuan-Fang Li, Scott Uk-Jin Lee	Research into Verifying Semistructured Data.	ICDCIT	2006	DBLP DOI BibTeX RDF	data model, semistructured data, automatic verification
19	Haibin Sun, Wenhui Li 0002	Spatial Reasoning Based on Rules.	IWINAC (1)	2005	DBLP DOI BibTeX RDF
19	Michelle L. Crane, Jürgen Dingel	UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal.	MoDELS	2005	DBLP DOI BibTeX RDF
19	Haibin Sun, Wenhui Li 0002	Heterogeneous Spatial Reasoning.	ECSQARU	2005	DBLP DOI BibTeX RDF
19	Mathias Röhl, Adelinde M. Uhrmacher	Flexible integration of XML into modeling and simulation systems.	WSC	2005	DBLP DOI BibTeX RDF
19	Johan Bos	Computational Semantics in Discourse: Underspecification, Resolution, and Inference.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	discourse representation theory, scope ambiguities, structural ambiguities, theorem proving, inference, discourse analysis, computational semantics, underspecification, lexical ambiguities
19	Xiang Fu 0001, Tevfik Bultan, Jianwen Su	Realizability of Conversation Protocols With Message Contents.	ICWS	2004	DBLP DOI BibTeX RDF
19	Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale	Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	parametric fault tree, stochastic well-formed nets, Dependability analysis
19	Hans Vangheluwe, Juan de Lara	Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation.	WSC	2003	DBLP DOI BibTeX RDF
19	Yao-Hua Tan, Walter Thoen	Using Event Semantics for Modeling Contracts.	HICSS	2002	DBLP DOI BibTeX RDF
19	Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay	Dynamic Message Sequence Charts.	FSTTCS	2002	DBLP DOI BibTeX RDF
19	Graham Clark, William H. Sanders	Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
19	Pieter Jonker	Morphological Operations on 3D and 4D Images: From Shape Primitive Detection to Skeletonization.	DGCI	2000	DBLP DOI BibTeX RDF
19	Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm	A Logic-Based Approach to Program Flow Analysis.	Acta Informatica	1998	DBLP DOI BibTeX RDF
19	Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens	The Regular Real-Time Languages.	ICALP	1998	DBLP DOI BibTeX RDF
19	John K. Debenham	From Conceptual Model to Internal Model.	ISMIS	1997	DBLP DOI BibTeX RDF
19	Ramón P. Otero, Alvaro Barreiro, Herbert Praehofer, Franz Pichler, José Mira	STIMS-MEDTOOL: Integration of Expert Systems with Systems Modelling and Simulation.	EUROCAST	1993	DBLP DOI BibTeX RDF
18	Françoise Gire, Hicham Idabal	Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML.	EDBT/ICDT Workshops	2010	DBLP DOI BibTeX RDF	regular tree pattern, update query, XML, functional dependency
18		Computer-Interpretable Formalism.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
18	Koen V. Hindriks, Tijmen Roberti	GOAL as a Planning Formalism.	MATES	2009	DBLP DOI BibTeX RDF
18	Peter Ljunglöf, Staffan Larsson	A Grammar Formalism for Specifying ISU-Based Dialogue Systems.	GoTAL	2008	DBLP DOI BibTeX RDF
18	Rolf Grütter, Bettina Bauer-Messmer, Martin Hägeli	Extending an ontology-based search with a formalism for spatial reasoning.	SAC	2008	DBLP DOI BibTeX RDF	national spatial data infrastructure, ontology-based search, region connection calculus, spatioterminological reasoning
18	María Adela Grando, David Glasspool, John Fox 0001	Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	Clinical process modelling, care pathways, petri nets, workflow patterns
18	Caiquan Xiong, Ying Pan, Dehua Li	A Discussion Information-Structuring Model Based on the Toulmin Formalism.	WKDD	2008	DBLP DOI BibTeX RDF
18	Hailong Wang, Zong Min Ma 0001, Li Yan 0001, Jingwei Cheng	A Unified Formalism for Fuzzy Data Types Representation.	FSKD (1)	2008	DBLP DOI BibTeX RDF
18	Mahdi Niamanesh, Rasool Jalili	A Formalism for Recongurability Analysis in Distributed Non-Blocking Components.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
18	Cleber V. G. Mira, Zanoni Dias, Hederson P. Santos, Guilherme A. Pinto, Maria Emília M. T. Walter	Transposition Distance Based on the Algebraic Formalism.	BSB	2008	DBLP DOI BibTeX RDF
18	Yngve Dahl, Dag Svanæs	Visualizing Interaction in Digitally Augmented Spaces: Steps Toward a Formalism for Location-Aware and Token-Based Interactive Systems.	HCI (2)	2007	DBLP DOI BibTeX RDF	Ubiquitous computing, Interaction design, Visual design, Embodied interaction, Modeling formalisms
18	Tsz-Chiu Au, Dana S. Nau	Reactive Query Policies: A Formalism for Planning with Volatile External Information.	CIDM	2007	DBLP DOI BibTeX RDF
18	Yufang Bao, Andrew Maudsley	Image Reconstruction in the Grappa Algorithm Formalism.	ISBI	2007	DBLP DOI BibTeX RDF
18	Thierry Antoine-Santoni, Jean François Santucci, Emmanuelle de Gentili, Bernadette Costa	Modelling & simulation oriented components of wireless sensor network using DEVS formalism.	SpringSim (2)	2007	DBLP BibTeX RDF	WSN, components, routing protocol, DEVS
18	Mickaël Bureau, Stéphane Dauzère-Pérès, Claude Yugma, Leon Vermariën, Jean-Bernard Maria	Simulation results and formalism for global-local scheduling in semiconductor manufacturing facilities.	WSC	2007	DBLP DOI BibTeX RDF
18	Yacine Sam, Omar Boucelma	Customizable Web Services Description, Discovery and Composition : An Attribute Based Formalism.	Web Intelligence	2007	DBLP DOI BibTeX RDF
18	Matthias Heindl, Stefan Biffl	Modeling of Requirements Tracing.	CEE-SET	2007	DBLP DOI BibTeX RDF	Software Requirements Tracing, Re-Test, Tracing Activity Model, Feasibility study
18	Pinar Senkul	CompositeWeb Service Construction by Using a Logical Formalism.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
18	Marina Flores-Badillo, Mayra Padilla-Duarte, Ernesto López-Mellado	Modeling and Simulation of Mobile Agents Systems Using a Multi-level Net Formalism.	MICAI	2006	DBLP DOI BibTeX RDF
18	Ronald E. Giachetti	Understanding Interdependence in Enterprise Systems: A Model and Measurement Formalism.	Business Process Management Workshops	2006	DBLP DOI BibTeX RDF	modeling, measurement, Enterprise Systems
18	Zeeshan Furqan, Shahabuddin Muhammad, Ratan K. Guha	Formal Verification of 802.11i using Strand Space Formalism.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
18	William B. Gardner	Converging CSP specifications and C++ programming via selective formalism.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	hardware/software codesign, Executable specifications, object-oriented application frameworks
18	Nadim Obeid	A Formalism for Representing and Reasoning with Temporal Information, Event and Change.	Appl. Intell.	2005	DBLP DOI BibTeX RDF	three-valued, event, change, temporal, nonmonotonic
18	Paul Cotofrei, Kilian Stoffel	First-Order Logic Based Formalism for Temporal Data Mining *.	Foundations of Data Mining and knowledge Discovery	2005	DBLP DOI BibTeX RDF
18	Marco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis	Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems.	QEST	2005	DBLP DOI BibTeX RDF
18	Mutsuko Tomokiyo, Gérard Chollet	VoiceUNL: A Semantic Representation of Emotions Within Universal Networking Language Formalism Based on a Dialogue Corpus Analysis.	CICLing	2005	DBLP DOI BibTeX RDF
18	Elisangela Mieko Kanacilo, Alexander Verbraeck	A distributed multi-formalism simulation to support rail infrastructure control design.	WSC	2005	DBLP DOI BibTeX RDF
18	Mark Fleischer	Scale invariant pareto optimality: a meta--formalism for characterizing and modeling cooperativity in evolutionary systems.	GECCO	2005	DBLP DOI BibTeX RDF	pareto optima, multi-objective optimization, self-organization, swarm intelligence, complex systems, self-organized criticality
18	John D. Carter, Ming Xu, William B. Gardner	Rapid Prototyping of Embedded Software Using Selective Formalism.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
18	Xiaoqin Zeng, Kang Zhang 0001, Jun Kong, Guang-Lei Song	RGG+: An Enhancement to the Reserved Graph Grammar Formalism.	VL/HCC	2005	DBLP DOI BibTeX RDF
18	Salim Chitroub	Contextual classifier combination by Markov random fields-Bayes formalism and evolutionary programming. Application: image classification enhancement.	AICCSA	2005	DBLP DOI BibTeX RDF
18	David Safránek, Jirí Simsa	VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures.	SOFSEM	2005	DBLP DOI BibTeX RDF
18	Hessam S. Sarjoughian, Dongping Huang	A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models.	DS-RT	2005	DBLP DOI BibTeX RDF
18	Anke Dittmar, Peter Forbrig	A unified description formalism for complex HCI-systems.	SEFM	2005	DBLP DOI BibTeX RDF	Formal models of interactive systems, Integration of HCI theories, Human- Computer Interaction (HCI)
18	Silvana Castano, Alfio Ferrara, Goffredo Haus, Luca A. Ludovico, Stefano Montanelli, Gianpaolo Racca, Giancarlo Vercellesi	The MX Formalism for Semantic Web Compatible Representation of Music Metadata.	Multimedia Information Systems	2005	DBLP DOI BibTeX RDF
18	Gennaro Costagliola, Vincenzo Deufemia, Michele Risi	Sketch Grammars: A Formalism for Describing and Recognizing Diagrammatic Sketch Languages.	ICDAR	2005	DBLP DOI BibTeX RDF
18	Xi Chen 0024, Harry Hsieh, Felice Balarin, Yosinori Watanabe	Logic of constraints: a quantitative performance and functional constraint formalism.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
18	Torsten Kröger, Bernd Finkemeyer, Friedrich M. Wahl	A Task Frame Formalism for Practical Implementations.	ICRA	2004	DBLP DOI BibTeX RDF
18	Lu Yan, Kaisa Sere	A Formalism for Context-Aware Mobile Computing.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF
18	Baohong Liu, Kedi Huang	A Formal Description Specification for Multi-resolution Modeling (MRM) Based on DEVS Formalism.	AIS	2004	DBLP DOI BibTeX RDF
18	Sangjoon Park, Kwanjoong Kim	DEVS Formalism: A Hierarchical Generation Scheme.	AIS	2004	DBLP DOI BibTeX RDF
18	Alexander F. Gelbukh, Grigori Sidorov, Sang-Yong Han, Erika Hernández-Rubio	Automatic Enrichment of Very Large Dictionary of Word Combinations on the Basis of Dependency Formalism.	MICAI	2004	DBLP DOI BibTeX RDF	Spanish, parsing, Collocations, dependency grammar
18	Petr Aubrecht, Lubos Kral	Ontology Formalism Transformation.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
18	Vicente Luque Centeno, Carlos Delgado Kloos, Luis Sánchez Fernández 0001, Norberto Fernández García	MSC-Based Formalism for Automated Web Navigation.	ICWE	2004	DBLP DOI BibTeX RDF
18	Ambar A. Gadkari, S. Ramesh 0001, Rubin A. Parekhji	CESC: a visual formalism for specification and verification of SoCs.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	verification, specification, visual languages, system-level design
18	Ioannis Tsamardinos, Thierry Vidal, Martha E. Pollack	CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning.	Constraints An Int. J.	2003	DBLP DOI BibTeX RDF	constraint-based planning, conditional planning, temporal reasoning
18	Martin Haenggi	A Formalism for the Analysis and Design of Time and Path Diversity Schemes in Wireless Sensor Networks.	IPSN	2003	DBLP DOI BibTeX RDF
18	William B. Gardner	Bridging CSP and C++ with Selective Formalism and Executable Specifications.	MEMOCODE	2003	DBLP DOI BibTeX RDF
18	Wei Zhao 0002	A language based formalism for domain driven development.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	4Compiler, 4th generation languages, generative domain model, feature model, domain engineering, two-level grammar, application engineering