Search results for "conformance"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Sean Thompson, Torab Torabi	Towards Formalizing Resource Based Non-conformance in Business.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	process resources, process non-conformance detection, resource non-conformance detection, process deviation, process improvement
4	David Polock, Dieter Zöbel	Conformance testing of priority inheritance protocols.	RTCSA	2000	DBLP DOI BibTeX RDF	priority inheritance protocols, priority inversion problem, protocol interfaces, predictability criteria, scheduling, real-time systems, real time systems, protocols, operating systems, conformance testing, conformance testing, run-time systems, test suites, application programmer
4	Gang Luo, Gregor von Bochmann, Alexandre Petrenko	Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	communicating nondeterministic finite-state machines, generalized Wp-method, conformance relation, trace-equivalence, deterministic finite-state machines, software engineering, software engineering, protocols, software testing, finite state machines, specification languages, program testing, concurrent programs, communication protocols, fault coverage, conformance testing, programming theory, SDL, reachability analysis, test suites, multiprocessing programs, test selection, protocol engineering, test sequence generation, protocol conformance testing
4	David H. Pitt, David Freestone	The Derivation of Conformance Tests from LOTOS Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	formal description technique LOTOS, International Standards Organization, basic LOTOS operators, theoretical notion, canonical testers, finite test suites, test suite design, formal specification, protocols, standards, communication protocols, open systems, formal languages, conformance tests, conformance testing, OSI, protocol specifications, test processes
3	Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa	When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving.	ICST	2010	DBLP DOI BibTeX RDF	symbolic input-output conformance, symbolic test case generation, model-based testing, conformance testing, symbolic execution
3	John-John Cabibihan, Stéphane Pattofatto, Moez Jomâa, Ahmed Benallal, Maria Chiara Carrozza	Towards Humanlike Social Touch for Sociable Robotics and Prosthetics: Comparisons on the Compliance, Conformance and Hysteresis of Synthetic and Human Fingertip Skins.	I. J. Social Robotics	2009	DBLP DOI BibTeX RDF	Bio-robotics and biomedical robotics, Artificial skin, Skin compliance, Finite element method, Conformance, Hysteresis, Prosthetics
3	Moez Krichen, Stavros Tripakis	Conformance testing for real-time systems.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF	On-the-fly algorithms, Real-time systems, Test generation, Coverage, Timed automata, Conformance testing, Specification and verification, Partial observability
3	Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel	Run-time conformance checking of mobile and distributed systems using executable models.	PADTAD	2009	DBLP DOI BibTeX RDF	distributed event simulation, executable specification formalisms, Java, mobility, mobile agents, software testing, process algebra, conformance testing, ?-calculus, runtime monitoring, Aglets
3	Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca	A passive conformance testing approach for a MANET routing protocol.	SAC	2009	DBLP DOI BibTeX RDF	MANET, routing protocols, conformance testing
3	Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli	Observability and Controllability Issues in Conformance Testing of Web Service Compositions.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	observability and controllability, verdict testing report, Web Service composition, Conformance testing
3	Marwan Abi-Antoun, Jonathan Aldrich	Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations.	OOPSLA	2009	DBLP DOI BibTeX RDF	architectural extraction, component-and-connector view, conformance analysis, points-to analysis, object graphs, object diagram, runtime architecture
3	Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Nirmit Desai, Viviana Patti, Munindar P. Singh	Choice, interoperability, and conformance in interaction protocols and service choreographies.	AAMAS	2009	DBLP DOI BibTeX RDF	web services, interoperability, choreographies, interaction protocols, conformance
3	Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, Eric Verbeek	Conformance checking of service behavior.	ACM Trans. Internet Techn.	2008	DBLP DOI BibTeX RDF	ProM, Web services, Petri nets, BPEL, conformance
3	Dae-Kyoo Kim, Wuwei Shen	Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies.	Software Quality Journal	2008	DBLP DOI BibTeX RDF	Pattern conformance, RBML, UML, Design pattern
3	Rodrigo Ramos, Augusto Sampaio, Alexandre Mota	Framework composition conformance via refinement checking.	SAC	2008	DBLP DOI BibTeX RDF	conformance notions, framework composition, refinement, CSP
3	Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam	Conformance Testing of Distributed Concurrent Systems with Executable Designs.	FMCO	2008	DBLP DOI BibTeX RDF	Creol, Model-based testing, conformance testing, Maude, concolic execution
3	Marek Kopel, Aleksander Zgrzywa	The Consistency and Conformance of Web Document Collection Based on Heterogeneous DAC Graph.	IEA/AIE	2008	DBLP DOI BibTeX RDF	Web document collection, heterogeneous graph, consistency, relationship, conformance
3	Wissam Mallouli, Bachar Wehbi, Ana R. Cavalli	Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking.	ADHOC-NOW	2008	DBLP DOI BibTeX RDF	Trace Collection and Correlation, Nomad Logic, Ad Hoc Networks, Monitoring, Conformance Testing, Security Analysis
3	Marwan Abi-Antoun	Static extraction and conformance checking of the runtime architecture of object-oriented systems.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	architectural extraction, ownership types, conformance checking, runtime architecture
3	Marwan Abi-Antoun, Jonathan Aldrich	Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	conformance checking, runtime architecture
3	Jacek Rosik, Andrew Le Gear, Jim Buckley, Muhammad Ali Babar	An industrial case study of architecture conformance.	ESEM	2008	DBLP DOI BibTeX RDF	architectural drift, architecture conformance, reflexion modelling, industrial experience
3	Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin J. Sullivan	Automatic modularity conformance checking.	ICSE	2008	DBLP DOI BibTeX RDF	modularity, conformance checking
3	João Paulo A. Almeida, Maria-Eugenia Iacob, Pascal van Eck	Requirements traceability in model-driven development: Applying model and transformation conformance.	Information Systems Frontiers	2007	DBLP DOI BibTeX RDF	Assessment, Model transformation, Conformance, Requirements traceability, Model-driven design
3	Jihyeon Jang, Stephen J. Elliott, Hakil Kim	Implementation of BioAPI Conformance Test Suite Using BSP Testing Model.	WISA	2007	DBLP DOI BibTeX RDF	BioAPI, Conformance Test Suite, Biometric Service Pro- vider
3	Dave Arnold, Jean-Pierre Corriveau, Vojislav D. Radonjic	Open framework for conformance testing via scenarios.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	metrics, scenarios, contracts, conformance testing, non-functional requirements
3	Federico Chesani, Paola Mello, Marco Montali, Sergio Storari	Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic.	AIME	2007	DBLP DOI BibTeX RDF	Careflow management, Conformance verification, Computational logic, Clinical practice guidelines
3	Jitian Xiao, Chiou Peng Lam, Huaizhong Li, Jun Wang	Reformulation of the generation of conformance testing sequences to the asymmetric travelling salesman problem.	GECCO	2006	DBLP DOI BibTeX RDF	Wp method, TSP, conformance testing, test sequence
3	Pemadeep Ramsokul, Arcot Sowmya	A Sniffer Based Approach to WS Protocols Conformance Checking.	ISPDC	2006	DBLP DOI BibTeX RDF	sniffer, web services, protocols, interoperability, conformance checking
3	Wil M. P. van der Aalst	Business alignment: using process mining as a tool for Delta analysis and conformance testing.	Requir. Eng.	2005	DBLP DOI BibTeX RDF	Business alignment, Delta analysis, Workflow management, Business process management, Conformance testing, Process mining
3	Ahmed Khoumsi	A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems.	Discrete Event Dynamic Systems	2005	DBLP DOI BibTeX RDF	real-time discrete event systems (RTDES), conformance relation tioco, Set-Exp-Automata, timed automata, supervisory control
3	Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough	Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets.	SIGCOMM	2005	DBLP DOI BibTeX RDF	specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL
3	Vlad Rusu, Hervé Marchand, Thierry Jéron	Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems.	FM	2005	DBLP DOI BibTeX RDF	symbolic test generation, verification, conformance testing
3	Victor V. Kuliamin, Nick V. Pakoulin, Alexandre 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
3	Hyung-Woo Lee, Sung-Hyun Yun, Jae-Sung Kim, Nam-Ho Oh, Do-Hyung Kim	IPv6/IPsec Conformance Test Management System with Formal Description Technique.	ICCSA	2005	DBLP DOI BibTeX RDF	Architecture. 1, Security, IPv6, Conformance Test, IPSec, Formal Description
3	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella	Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF	web service interaction protocols, formal verification, conformance test, finite state automata
3	Diego Latella, Mieke Massink	On testing and conformance relations for UML statechart diagrams behaviours.	ISSTA	2002	DBLP DOI BibTeX RDF	UML statechart diagrams, formal testing theory, conformance testing, formal semantics, testing theory
3	Ahmed Khoumsi	A Method for Testing the Conformance of Real Time Systems.	FTRTFT	2002	DBLP DOI BibTeX RDF	GeneralizedWp-Method, Timed Automata (TA), se-FSA, Exp, Real-time systems, Conformance testing, Test cases generation, Set, Test architecture
3	Mang Li, Axel Rennoch, Ina Schieferdecker, D. Witaszek, O. Halabi, Alain Vouffo, Aihong Yin	Experience Report on Conformance Tests for CORBA ORBs.	APAQS	2001	DBLP DOI BibTeX RDF	Static and dynamic analysis, CORBA, Conformance testing, Testability, Testing tools
3	Rachel Cardell-Oliver	Conformance Tests for Real-Time Systems with Timed Automata Specifications.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Real-time systems, Timed automata, Conformance testing, Test selection
3	Robert M. Hierons, Mark Harman	Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Design for test conditions, Quasi-non-determinism, Testing, Conformance, Non-determinism, Stream X-machine
3	René G. de Vries, Jan Tretmans	On-the-fly Conformance Testing using SPIN.	STTT	2000	DBLP DOI BibTeX RDF	Spin verification tool, Formal methods, Conformance testing, Test automation, Test generation algorithms
3	James F. Leathrum, K. A. Liburdy	A formal approach to requirements based testing in open systems standards. (PDF / PS)	ICRE	1996	DBLP DOI BibTeX RDF	requirements based testing, IEEE POSIX arena, open systems standards, full scale conformance test suite development, executable tests, Clemson Automated Testing System, design taxonomy, IEEE Std 10035-The Ada Language Binding to POSIX, formal specification, testing, systems analysis, open systems, conformance testing, IEEE standards, software standards, automatic translation, test requirements, formal approach
3	Klaudia Dussa-Zieger, Markus Ettl, Richard Hofmann, O. Preissler	Monitoring and modelling of a distributed ISDN test system.	PDP	1995	DBLP DOI BibTeX RDF	distributed ISDN test system, OSI specification, ISDN D-channel signalling, ISDN protocol testers, process scheduling strategy, performance evaluation, discrete event simulation, transport protocols, communication protocols, conformance testing, conformance testing, performance study, ISDN
3	John H. Baumert	Process Assessment with a Project Focus.	IEEE Software	1994	DBLP DOI BibTeX RDF	project focus, Computer Science Corporation, software process audit method, software capability evaluations, project level, organizational level, process-audit approach, CSC, process audit, standards, software quality, project management, process improvement, conformance testing, auditing, capability maturity model, CMM, SCA, conformance, SPA, process assessment, process maturity, software process assessments, Software Engineering Institute, SEI
3	Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi	Test Selection Based on Finite State Models.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	partial W-method, full fault-detection power, interaction parameters, reset function, software engineering, protocols, program testing, conformance testing, conformance testing, determinism, test suites, protocol implementations, protocol testing, test architectures, finite state models
3	Gregor von Bochmann, Rachida Dssouli, J. R. Zhao	Trace Analysis for Conformance and Arbitration Testing.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	arbitration testing, implementation under test, IUT, communication protocol implementations, distributed test architectures, partial input/output traces, local observers, error-detection power, global knowledge, automated construction, trace analysis modules, reference specification, open systems interconnection, formal specification, protocols, transport protocol, program testing, open systems, conformance testing, conformance testing, OSI
3	Robert S. Matthews, K. H. Muralidhar, Steven Sparks	MAP 2.1 Conformance Testing Tools.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	MAP 2.1 conformance testing tools, run-time components, high-level control tool, document handling tools, manufacturing computer control, protocols, monitoring, software tools, program testing, program testing, ISO, test engines
2	Arya Adriansyah, Boudewijn F. van Dongen, Wil M. P. van der Aalst	Conformance Checking Using Cost-Based Fitness Analysis.	EDOC	2011	DBLP DOI BibTeX RDF	fitness analysis, Business process management, process mining, business process analysis, conformance checking
2	Warawoot Pacharoen, Toshiaki Aoki, Athasit Surarerks, Pattarasinee Bhattarakosol	Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking.	ICWS	2011	DBLP DOI BibTeX RDF	Conformance verification, Model checking, Web service composition, Learning algorithm, Choreography
2	Florian Deissenboeck, Lars Heinemann, Benjamin Hummel, Elmar Jürgens	Flexible architecture conformance assessment with ConQAT.	ICSE	2010	DBLP DOI BibTeX RDF
2	Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Shengqiong Wang	Conformance Testing of Network Simulators Based on Metamorphic Testing Technique.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
2	Gregorio Díaz, Ismael Rodríguez	Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
2	Augusto Sampaio, Sidney Nogueira, Alexandre Mota	Compositional Verification of Input-Output Conformance via CSP Refinement Checking.	ICFEM	2009	DBLP DOI BibTeX RDF
2	Indranil Saha, Kuntal Chakraborty, Suman Roy, B. VishnuVardhan Reddy, Venkatappaiah Kurapati, Vishesh Sharma	An approach to reverse engineering of C programs to simulink models with conformance testing.	ISEC	2009	DBLP DOI BibTeX RDF	reverse engineering, c, conformance testing, simulink
2	Matthias Woehrle, Kai Lampka, Lothar Thiele	Exploiting Timed Automata for Conformance Testing of Power Measurements.	FORMATS	2009	DBLP DOI BibTeX RDF
2	Martin Weiglhofer, Franz Wotawa	Asynchronous Input-Output Conformance Testing.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	Zhiliang Wang, Xia Yin, Yang Xiang, Ruiping Zhu, Shirui Gao, Xin Wu, Shijian Liu, Song Gao, Li Zhou, Peng Li	TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
2	Nabil Hameurlain	Compatibility and Conformance of Role-Based Interaction Components in MAS.	KES-AMSTA	2009	DBLP DOI BibTeX RDF
2	Alessio Bottrighi, Federico Chesani, Paola Mello, Gianpaolo Molino, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani, Mauro Torchio	A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance.	AIME	2009	DBLP DOI BibTeX RDF
2	Li Li, Wu Chou	An Abstract GFSM Model for Optimal and Incremental Conformance Testing of Web Services.	ICWS	2009	DBLP DOI BibTeX RDF
2	Andreas Höfer, Marc Philipp	An Empirical Study on the TDD Conformance of Novice and Expert Pair Programmers.	XP	2009	DBLP DOI BibTeX RDF	experts and novices, test-driven development, pair programming, quasi-experiment
2	Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni	Testing Real-Time Systems Using TINA.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	Prioritized Time Petri Nets, time optimal test cases, Real-time system, conformance testing
2	Gregor von Bochmann, Guy-Vincent Jourdan	Testing k-Safe Petri Nets.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	k -safe Petri nets, free-choice Petri nets, fault model, Conformance testing, automatic test generation
2	Thao Dang, Tarik Nahhal	Coverage-guided test generation for continuous and hybrid systems.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF	Test generation, Hybrid systems, Model-based testing, Conformance testing, Test coverage
2	Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky	Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking.	DEON	2008	DBLP DOI BibTeX RDF
2	Wil M. P. van der Aalst	Discovery, Verification and Conformance of Workflows with Cancellation.	ICGT	2008	DBLP DOI BibTeX RDF	Reset Nets, Verification, Petri Nets, Soundness, Process Mining
2	Dirk Seifert	Conformance Testing Based on UML State Machines.	ICFEM	2008	DBLP DOI BibTeX RDF
2	Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl	Requirements Coverage as an Adequacy Measure for Conformance Testing.	ICFEM	2008	DBLP DOI BibTeX RDF
2	Laura Giordano, Alberto Martelli	Verifying Agents' Conformance with Multiparty Protocols.	CLIMA	2008	DBLP DOI BibTeX RDF
2	Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky	Checking Traces for Regulatory Conformance.	RV	2008	DBLP DOI BibTeX RDF
2	Pham Ngoc Hung, Takuya Katayama	Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software.	APSEC	2008	DBLP DOI BibTeX RDF
2	Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund	Automatic Coding Rule Conformance Checking Using Logic Programming.	PADL	2008	DBLP DOI BibTeX RDF	Coding rule checking, Declarative domain-specific languages and applications, Logic programming, Programming environments
2	Mario Bravetti, Gianluigi Zavattaro	Contract Compliance and Choreography Conformance in the Presence of Message Queues.	WS-FM	2008	DBLP DOI BibTeX RDF
2	Julien Schmaltz, Jan Tretmans	On Conformance Testing for Timed Systems.	FORMATS	2008	DBLP DOI BibTeX RDF
2	Jaeyong Park, David C. Rine, Elizabeth White	Assessing conformance of pattern-based design in UML.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	pattern-based design, UML, design pattern, profile, assessment
2	Achim D. Brucker, Lukas Brügger, Burkhart Wolff	Model-Based Firewall Conformance Testing.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Model-based Testing, Firewall, Conformance Testing, Security Testing
2	Giorgio Brajnik	Beyond Conformance: The Role of Accessibility Evaluation Methods.	WISE Workshops	2008	DBLP DOI BibTeX RDF
2	Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis	Implementation of the Conformance Relation for Incremental Development of Behavioural Models.	MoDELS	2008	DBLP DOI BibTeX RDF
2	Hongxin Hu, Gail-Joon Ahn	Enabling verification and conformance testing for access control model.	SACMAT	2008	DBLP DOI BibTeX RDF	model-based verification, access control, model-based testing, alloy, SAT solver
2	Johann Eder, Amirreza Tahamtan	Temporal Conformance of Federated Choreographies.	DEXA	2008	DBLP DOI BibTeX RDF	Temporal Conformance, Web Services, Composition, Orchestration, Choreographies
2	Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath	Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques.	ISCC	2008	DBLP DOI BibTeX RDF
2	René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst	Static Validation of Licence Conformance Policies.	ARES	2008	DBLP DOI BibTeX RDF	static analysis, open systems, policy enforcement
2	Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet	A Verifiable Conformance Relationship between Smart Card Applets and B Security Models.	ABZ	2008	DBLP DOI BibTeX RDF
2	Harry Gros-Desormeaux, Hacène Fouchal, Philippe Hunel	Test Generation with DHT Networks.	ITNG	2008	DBLP DOI BibTeX RDF	master-slave paradigm, DHTs, conformance testing, distributed environments
2	Jonathan Aldrich	Using Types to Enforce Architectural Structure.	WICSA	2008	DBLP DOI BibTeX RDF	communication integrity, verification, software architecture, static analysis, programming language, type system, conformance, ownership
2	Johann Eder, Horst Pichler, Amirreza Tahamtan	Probabilistic Time Management of Choreographies.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	Probabilistic Time Management, Temporal Conformance, Web Services, Orchestration, Choreography
2	Ralph Foorthuis, Sjaak Brinkkemper, Rik Bos	An Artifact Model for Projects Conforming to Enterprise Architecture.	PoEM	2008	DBLP DOI BibTeX RDF	project conformance, analysis and design artifacts, projects, enterprise architecture, systems development
2	Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan	Testing Systems Specified as Partial Order Input/Output Automata.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Testing distributed systems, conformance relations, partial order automata, HMSC, partial order, finite state automata
2	Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil	Test Purpose Concretization through Symbolic Action Refinement.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Symbolic Conformance Testing, Test Purpose Concretisation, Model Based Testing, Action Refinement, Test Purpose
2	Bas van der Raadt, Hans van Vliet	Designing the Enterprise Architecture Function.	QoSA	2008	DBLP DOI BibTeX RDF	Organizational, Management, Enterprise Architecture, Governance, Function, Reference Model, Conformance
2	Frédéric Dadeau, Marie-Laure Potet, Régis Tissot	A B Formal Framework for Security Developments in the Domain of Smart Card Applications.	SEC	2008	DBLP DOI BibTeX RDF	Conformance Relation, Access Control, Traceability, Security Model, B Method, Common Criteria
2	Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff	Metamodel-based model conformance and multiview consistency checking.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	multiview consistency, formal methods, Metamodeling, automated verification
2	Evan Tan, Jing Chen	Towards a Stringent Bit-Rate Conformance for Frame-Layer Rate Control in H.264/AVC.	PCM	2007	DBLP DOI BibTeX RDF	frame-layer, linear R-Q model, H.264/AVC, rate control, complexity measure, bit allocation
2	Chien-Min Wang, Chi-Chang Huang, Hsi-Min Chen, Shun-Te Wang	Conformance Checking of Running Programs in Dynamic Aspect-Oriented Systems.	APSEC	2007	DBLP DOI BibTeX RDF
2	Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa	Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods.	SEFM	2007	DBLP DOI BibTeX RDF
2	Mercedes G. Merayo, Manuel Núñez	Testing conformance on Stochastic Stream X-Machines.	SEFM	2007	DBLP DOI BibTeX RDF
2	Slawomir Zielski, Janusz Sosnowski	The SCSI interface conformance tests generation.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
2	Marwan Abi-Antoun, Daniel Wang, Peter Torr	Checking threat modeling data flow diagrams for implementation conformance and security.	ASE	2007	DBLP DOI BibTeX RDF	reflexion models, denial of service, security analysis, threat modeling, data flow diagrams, information disclosure, tampering, spoofing
2	Mario Bravetti, Gianluigi Zavattaro	Towards a Unifying Theory for Choreography Conformance and Contract Compliance.	Software Composition	2007	DBLP DOI BibTeX RDF
2	Dae-Kyoo Kim, Wuwei Shen	An approach to evaluating structural pattern conformance of UML models.	SAC	2007	DBLP DOI BibTeX RDF