Search results for "specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Da-Hai Li, T. S. E. Maibaum	A Top-down Step-wise Refinement Methodology for Protocol Specification.	Concurrency	1988	DBLP DOI BibTeX RDF
20	Jacques Loeckx	Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF
20	Donald Sannella, Andrzej Tarlecki	Program Specification and Development in Standard ML.	POPL	1985	DBLP DOI BibTeX RDF	Standard ML
19	Huaikou Miao, Zhicheng Wen	An Approach to Extending Object-Z with Real-Time.	DELTA	2006	DBLP DOI BibTeX RDF
19	Sören Balko	Adaptive Specifications of Technical Information Systems.	FMLDO	2000	DBLP DOI BibTeX RDF
19	Zhongping Tao, Gregor von Bochmann, Rachida Dssouli	Verification and diagnosis of testing equivalence and reduction relation.	ICNP	1995	DBLP DOI BibTeX RDF
19	Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski	Timed I/O automata: a complete specification theory for real-time systems.	HSCC	2010	DBLP DOI BibTeX RDF	specification theory, timed i/o automata, real-time, interfaces, refinement
19	Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Sebastian Hack, Andreas Zeller	Generating test cases for specification mining.	ISSTA	2010	DBLP DOI BibTeX RDF	typestate analysis, test case generation, specification mining
19	Serguei A. Mokhov, Emil Vassev	Autonomic specification of self-protection for distributed MARF with ASSL.	C3S2E	2009	DBLP DOI BibTeX RDF	autonomic system specification language (ASSL), distributed modular audio recognition framework (DMARF), pattern recognition, autonomic computing, self-protection
19	Linda Terlouw, Kees Eveleens Maarse	A Service Specification Framework for Developing Component-Based Software: A Case Study at the Port of Rotterdam.	CIAO! / EOMAS	2009	DBLP DOI BibTeX RDF	Case Study, Component-Based Development, Service Specification, Design Science Research
19	Jay Ligatti, Billy Rickey, Nalin Saigal	LoPSiL: A Location-Based Policy-Specification Language.	MobiSec	2009	DBLP DOI BibTeX RDF	Policy-specification languages, location-dependent policies, mobile devices, security and privacy
19	Gavin Lowe	Specification of communicating processes: temporal logic versus refusals-based refinement.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Refinement testing, Specification, Temporal logic, CSP, Refusals
19	Khairuddin Hashim, Johan Yousoff	A Behavioral Requirements Specification Approach for Interactive Multimedia Applications.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	interactive, specification, requirements engineering, multimedia Applications
19	Konstantinos Kemalis, Theodoros Tzouramanis	SQL-IDS: a specification-based approach for SQL-injection detection.	SAC	2008	DBLP DOI BibTeX RDF	specification-based runtime validation, world-wide web, database security, web application security, SQL injection attacks
19	David de Almeida Ferreira, Alberto Rodrigues da Silva	A requirements specification case study with ProjectIT-studio/requirements.	SAC	2008	DBLP DOI BibTeX RDF	NLP techniques, specification, validation, requirements, CASE tool, controlled natural language
19	Manfred Broy	Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress).	ISoLA	2008	DBLP DOI BibTeX RDF	Large Scale Embedded Software Systems, Comprehensive Architecture, Verification, Specification
19	Fabio Massacci, Nicola Zannone	A Model-Driven Approach for the Specification and Analysis of Access Control Policies.	OTM Conferences (2)	2008	DBLP DOI BibTeX RDF	Access Control, Policy Specification, Security Requirements Engineering
19	Tanvir Ahmed 0002, Anand R. Tripathi	Specification and verification of security requirements in a programming model for decentralized CSCW systems.	ACM Trans. Inf. Syst. Secur.	2007	DBLP DOI BibTeX RDF	finite state-based model checking, methodology for access-control policy design, role-based access control, Security policy specification
19	Roman Gumzej, Shourong Lu	Modeling distributed real-time applications with specification PEARL.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	UML, Specification languages, Configuration management, Co-design, Co-simulation, Application modeling, PEARL
19	Shalabh Goyal, Abhijit Chatterjee, Michael Purtell	A Low-Cost Test Methodology for Dynamic Specification Testing of High-Speed Data Converters.	J. Electron. Test.	2007	DBLP DOI BibTeX RDF	data converter testing, low-cost test and dynamic specification testing
19	Iliano Cervesato, Mark-Oliver Stehr	Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Multiset rewriting, Specification, Security protocol, Dependent types
19	Jeff Lewis	Cryptol: specification, implementation and verification of high-grade cryptographic applications.	FMSE	2007	DBLP DOI BibTeX RDF	cryptography, specification language, certification, high assurance, symmetric key
19	David Lo 0001, Siau-Cheng Khoo, Chao Liu 0001	Efficient mining of iterative patterns for software specification discovery.	KDD	2007	DBLP DOI BibTeX RDF	closed iterative patterns, software specification discovery
19	Sara Jones 0001, Neil A. M. Maiden, Sharon Manning, John Greenwood	Informing the Specification of a Large-Scale Socio-technical System with Models of Human Activity.	REFSQ	2007	DBLP DOI BibTeX RDF	specification, use cases, domain knowledge, socio-technical systems
19	Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan	Static specification inference using predicate mining.	PLDI	2007	DBLP DOI BibTeX RDF	predicate mining, program analysis, preconditions, specification inference
19	David B. Cedrés, Emilio Hernández	Parameter Sweeping Methodology for Integration in a Workflow Specification Framework.	ICCSA (1)	2007	DBLP DOI BibTeX RDF	workflow specification, parallel processing, distributed processing, Computational models, parameter sweeping
19	Naiyong Jin, Taoyong Ni	Interface Specification Assurance Methods.	ISQED	2007	DBLP DOI BibTeX RDF	Component-Based Methodology, Specification Assurance, SAT, PSL
19	Abdelaziz Guerrouat, Harald Richter 0001	A component-based specification approach for embedded systems using FDTs.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	embedded system, testing, specification, component-based systems, formal description techniques
19	Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev	A specification-based approach to reasoning about pointers.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	heap memory management, pointer specification, reasoning
19	Lunquan Li, Peng Liu 0005, George Kesidis	Visual toolkit for network security experiment specification and data analysis.	VizSEC	2006	DBLP DOI BibTeX RDF	animated topology, experiment specification, testbed, visual toolkit
19	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
19	Hoda M. Hassan, Mohy Mahmoud, Sherif El-Kassas	Securing the AODV protocol using specification-based intrusion detection.	Q2SWinet	2006	DBLP DOI BibTeX RDF	specification-based detection, IDS, network monitoring, AODV
19	Achraf Mtibaa, Faïez Gargouri	A Multi-representation Ontology for the Specification of Multi-context Requirements.	SITIS	2006	DBLP DOI BibTeX RDF	Multi-representation, Ontology, Requirement specification, Multi-context
19	Cyril Rousseau, Yacine Bellik, Frédéric Vernier	Multimodal output specification / simulation platform.	ICMI	2005	DBLP DOI BibTeX RDF	output multimodality, outputs simulation, outputs specification, human-computer interaction
19	Volker Gruhn, Ralf Laue 0001	Specification Patterns for Time-Related Properties.	TIME	2005	DBLP DOI BibTeX RDF	timed model checking, verification, formal specification, patterns
19	Jan Gulliksen, Susan Harker	The software accessibility of human-computer interfaces-ISO Technical Specification 16071.	Univers. Access Inf. Soc.	2004	DBLP DOI BibTeX RDF	ANSI/HFES, International Standards Organisation, ISO 16071, Technical specification, W3C-WAI guidelines, Standardisation
19	Shuhua Wang, Grace Tsai	Specification and Timing Analysis of Real-Time Systems.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	functional and timing requirements, real-time systems, specification, schedulability analysis, allocation
19	Sarfraz Khurshid, Darko Marinov	TestEra: Specification-Based Testing of Java Programs Using SAT.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	Java testing, TestEra, SAT enumeration, software testing, specification-based testing, Alloy, automated test generation
19	Robert B. France, Dae-Kyoo Kim, Sudipto Ghosh, Eunjee Song	A UML-Based Pattern Specification Technique.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	pattern specification, UML, Design patterns, object-oriented models
19	Chun Ouyang 0001, Jonathan Billington	An improved formal specification of the Internet Open Trading Pprotocol.	SAC	2004	DBLP DOI BibTeX RDF	Internet trading protocols, specification and analysis, formal methods, e-commerce, coloured petri nets
19	Andreas Meissner, Sharath Babu Musunoori, Lars C. Wolf	MGMS/GML - Towards a New Policy Specification Framework for Multicast Group Integrity.	SAINT	2004	DBLP DOI BibTeX RDF	Group Integrity, Multicast, Group Management, Policy Specification
19	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
19	Achintya Halder, Abhijit Chatterjee	Automated Test Generation and Test Point Selection for Specification Test of Analog Circuits.	ISQED	2004	DBLP DOI BibTeX RDF	test point selection, automated test generation, specification testing, parametric failure
19	Steffen Zschaler	Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based Software.	ICSE	2004	DBLP DOI BibTeX RDF	Language Definition, Semantics, Specification, Component-Based Software, Non-functional Properties
19	Anand R. Tripathi, Tanvir Ahmed 0002, Richa Kumar	Specification of Secure Distributed Collaboration Systems.	ISADS	2003	DBLP DOI BibTeX RDF	Role based access control, Distributed collaboration, Security policy specification
19	Eelco van den Berg, Hilderick A. van der Meiden, Willem F. Bronsvoort	Specification of freeform features.	Symposium on Solid Modeling and Applications	2003	DBLP DOI BibTeX RDF	feature class specification, feature parameterization, freeform features, feature modeling, constraint solving
19	Nuno Amálio, Fiona Polack	Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z.	ZB	2003	DBLP DOI BibTeX RDF	formalisation, UML, specification, Z, Object-Z
19	Jessica Chen, Steve Chovanec	Towards Specification-based Web Testing.	NETWORKING Workshops	2002	DBLP DOI BibTeX RDF	Java AWT and Swing, Web applications, Finite state machines, Specification-based testing, Capture/Replay
19	Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, Margaret-Anne D. Storey	On the Use of Visualization in Formal Requirements Specification.	RE	2002	DBLP DOI BibTeX RDF	visualization, formal methods, Requirements specification
19	Claus Möbus, Bernd Albers, Stefan Hartmann, Heinz-Jürgen Thole, Jochen Zurborg	Towards a Specification of Distributed and Intelligent Web Based Training Systems.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF	Cognitive Approaches, Distributed Learning Environments, Intelligent Distance Learning, Internet Environments, Content-Engineering, Intelligent Web Based Training (I-WBT), Specification of e-Learning Systems, Educational Modeling Language (EML), Extensible Markup Language (XML), Unified Modeling Language (UML), Architectures, Learning Environments, Authoring Systems
19	Tuba Yavuz-Kahveci, Tevfik Bultan	Specification, verification, and synthesis of concurrency control components.	ISSTA	2002	DBLP DOI BibTeX RDF	infinite-state model checking, monitors, specification languages, concurrent programming
19	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
19	Stephan Flake, Wolfgang Müller 0003	Specification of Real-Time Properties for UML Models.	HICSS	2002	DBLP DOI BibTeX RDF	UML, Object Constraint Language, Real-Time Constraints, Property Specification
19	Steven Shapiro, Yves Lespérance, Hector J. Levesque	The cognitive agents specification language and verification environment for multiagent systems.	AAMAS	2002	DBLP DOI BibTeX RDF	agent specification languages, theorem proving, proof assistants, verification tools
19	John Larmouth, Olivier Dubuisson, Paul Thorpe	Application of the ASN.1 specification technique to the Bluetooth service discover protocol.	MobiHoc	2001	DBLP DOI BibTeX RDF	protocol specification techniques, Bluetooth, ECN, ASN.1
19	Bing Wu 0004, Kudakwashe Dube	PLAN: A Framework and Specification Language with an Event-Condition-Action (ECA) Mechanism for Clinical Test Request Protocols.	HICSS	2001	DBLP DOI BibTeX RDF	Test Protocol, Clinical Test, Protocol Management Systems, Event-Condition-Action Mechanism and Active Databases, Framework, Specification
19	Cédric Besse, Ana R. Cavalli, Ferhat Khendek	Partial Validation of a Design Specification with Respect to Requirements.	APAQS	2001	DBLP DOI BibTeX RDF	MSC views, MSC traces, Specification, Validation, Requirement, SDL, MSC
19	Nancy G. Leveson	Completeness in formal specification language design for process-control systems.	FMSP	2000	DBLP DOI BibTeX RDF	completeness, process-control, Formal specification language
19	Chris Matthews, Paul A. Swatman	Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z.	ZB	2000	DBLP DOI BibTeX RDF	requirements determination, formal specification, Z, fuzzy set theory
19	Paul Ammann, Paul E. Black	A Specification-Based Coverage Metric to Evaluate Test Sets.	HASE	1999	DBLP DOI BibTeX RDF	Model Checking, Formal Specification, Coverage, Test Sets, SCR, Test Metric, SMV
19	Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma	Specification and Analysis of Soft Real-Time Systems: Quantity and Quality.	RTSS	1999	DBLP DOI BibTeX RDF	simulation, verification, performance analysis, formal methods, specification, soft real-time systems
19	Xiaoshan Li	Specification and Simulation of a Concurrent Real-Time System.	PDSE	1999	DBLP DOI BibTeX RDF	Concurrent Real-time Systems, Simulation and Verification, Executable Specification, Interval Temporal Logic
19	King Sing Cheung, K. O. Chow, T. Y. Cheung	Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	formal specification, formal method, object-oriented model
19	J. William Atwood, Morteza Ghodrat, Dariusz Tasak	Using Formal Specification and Observers to Specify and Validate the ATM Signaling Protocols.	LCN	1999	DBLP DOI BibTeX RDF	Higher Layer Signaling, SSCOP, Simulation, Formal Specification, Asynchronous Transfer Mode, Validation, Observers
19	Yen-Min Huang, Chinya V. Ravishankar	Constructive Protocol Specification Using Cicero.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	event-driven language, protocol specification, protocol implementation, Protocol synthesis
19	Robert W. Sumners, Jacob A. Abraham	Hierarchical Specification of System Behavior.	HASE	1997	DBLP DOI BibTeX RDF	specification, temporal logic, abstraction
19	Hanêne Ben-Abdallah, Insup Lee 0001, Young-Si Kim	Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements.	RE	1997	DBLP DOI BibTeX RDF	Real-time systems, formal specification, graphical languages, resource requirements
19	Gopal Gupta 0001, Enrico Pontelli	A constraint-based approach for specification and verification of real-time systems.	RTSS	1997	DBLP DOI BibTeX RDF	constraint based approach, real time systems specification, real time systems verification, general constraint logic programming, real time event ordering, grammar productions, Definite Clause Grammar, CLP program, DCG, timed push down automata, real-time systems, timed automata, constraint logic program, constraint automata
19	Kate Finney	Mathematical Notation in Formal Specification: Too Difficult for the Masses?	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	reading Z, Formal specification, mathematics
19	Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen	A Framework for Evaluating Specification Methods for Reactive Systems Experience Report.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Modechart, VFSM, Formal methods, specification languages, Z, SDL, industrial applications, LOTOS, ESTEREL, technology assessment
19	Pamela Zave, Michael Jackson 0001	Where Do Operations Come From: A Multiparadigm Specification Technique.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	multiparadigm specification, graphical human-computer interfaces, Formal methods, telecommunications, Z, consistency analysis
19	Juan-José Martins, Jean-Pierre Hubaux	A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation.	FME	1996	DBLP DOI BibTeX RDF	Simulation, Performance Evaluation, Formal Specification, System Design, System Analysis, System Engineering
19	Carlos Carreras, Juan Carlos López 0001, María Luisa López Vallejo, Luis Sánchez, Carlos Delgado Kloos, Natividad Martínez Madrid	A Co-Design Methodology Based on Formal Specification and High-level Estimation.	CODES	1996	DBLP DOI BibTeX RDF	formal specification, partitioning, estimation, Co-design, LOTOS
19	Karlheinz Agsteiner, Dieter Monjau, Sören Schulze	Automating System-Level Design: From Specification to Architecture.	EUROMICRO	1996	DBLP DOI BibTeX RDF	system-level design automation, digital systems specification, system components, knowledge-based configuration system, object-oriented domain model, reduced instruction set computing, RISC processors, system functions
19	T. Yoshino, Sanya Uehara, Takao Okubo, S. Suguta, Y. Hotta, M. Sonobe	Reverse Engineering from COBOL to Narrative Specification.	COMPSAC	1995	DBLP DOI BibTeX RDF	specification generation, process logic and maintenance tool, reverse engineering, software maintenance
19	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
19	John-Jules Ch. Meyer, Roel J. Wieringa	Actor-Oriented System Specification with Dynamic Logic.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF	Subject area Specification of systems, combining different logics
19	Mathai Joseph	Problems, Promises and Performance: Some Questions for Real-time System Specification.	REX Workshop	1991	DBLP DOI BibTeX RDF	synchronous real-time, asynchronous real-time, fault-tolerance, real-time specification
19	Aphrodite Tsalgatidou, Vassileios Karakostas, Pericles Loucopoulos	Rule-Based Requirements Specification and Validation.	CAiSE	1990	DBLP DOI BibTeX RDF	Petri-nets, animation, logic programming, conceptual modelling, requirements specification, rule bases, executable specifications
19	Katsumi Okamoto, Masaaki Hashimoto	On Real-Time Program Specification Description with a Data Model-Based Language.	ICCI	1990	DBLP DOI BibTeX RDF	Program specification description language, constraint, timing, entity-relationship model, real-time software, conceptual data model, nonprocedural language
19	Sudhir Aggarwal, Daniel Barbará, Kalman Z. Meth	A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	SPANNER software environment, selection/resolution model, cluster variables, simulation, parallel programming, concurrency, distributed computing, specification, coordination, distributed processing, programming environments, concurrent programming, reachability analysis, software environment, dining philosophers, finite-state machine model
19	Bjørnar Solhaug, Ketil Stølen	Compositional Refinement of Policies in UML - Exemplified for Access Control.	ESORICS	2008	DBLP DOI BibTeX RDF	policy adherence, access control, UML sequence diagrams, Policy specification, policy refinement
19	Shaoying Liu	Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications.	QSIC	2008	DBLP DOI BibTeX RDF	modeling, formal specification, Scenario-based design, Top-Down design
19	Mohammad Zulkernine, Mathew Graves, Muhammad Umair Ahmed Khan	Integrating software specifications into intrusion detection.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Software specification languages, Intrusion detection, State machines, Attack scenarios
19	Gang Tan, Greg Morrisett	Ilea: inter-language analysis across java and c.	OOPSLA	2007	DBLP DOI BibTeX RDF	JVML, inter-language analysis, specification extraction, JNI, java native interface
19	Dick Hamlet	Test-Based Specifications of Components and Systems.	QSIC	2007	DBLP DOI BibTeX RDF	Component/system testing theory, test- based specification, persistent state
19	Kenneth J. Turner	Test generation for radiotherapy accelerators.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Lotos (Language Of Temporal Ordering Specification), Test generation, Accelerator, Radiotherapy
19	Thomas Baar	OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF	OCL, Graph Grammars, Design by Contract, QVT, Behavior Specification
19	Sachoun Park, Gihwon Kwon	Verification of UML-Based Security Policy Model.	ICCSA (3)	2005	DBLP DOI BibTeX RDF	Formal verification, Role-based access control, Visual specification, Security policy model
19	Fangjun Wu, Tong Yi	Measuring Z specifications.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	formal specification, formal method, software metrics, Z, correlation analysis
19	Lihua Xu, Marcio S. Dias, Debra J. Richardson	Generating Regression Tests via Model Checking.	COMPSAC	2004	DBLP DOI BibTeX RDF	Model Checking, Formal Specification, Software Testing, Regression Testing
19	Laura M. Leventhal, Julie Barnes, Joseph Chao	Term project user interface specifications in a usability engineering course: challenges and suggestions.	SIGCSE	2004	DBLP DOI BibTeX RDF	task analysis, user interface specification, group projects
19	Qiang Zhu 0005, Ryosuke Oishi, Takashi Hasegawa, Tsuneo Nakata	System-on-chip validation using UML and CWL.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	specification modeling, UML, validation and verification, verification process
19	Jameleddine Hassine, Rachida Dssouli, Juergen Rilling	Applying Reduction Techniques to Software Functional Requirement Specifications.	SAM	2004	DBLP DOI BibTeX RDF	Functional requirement specification, maintenance, program slicing, comprehension, Use Case Maps
19	Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux	Formal Composition of Distributed Scenarios.	FORTE	2004	DBLP DOI BibTeX RDF	Scenario-based approach, Scenario composition, Distributed systems, Formal specification, Use case, FSM
19	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
19	Vincent Hilaire, Abder Koukam, Pablo Gruer	A Mechanism for Dynamic Role Playing.	Agent Technologies, Infrastructures, Tools, and Applications for E-Services	2002	DBLP DOI BibTeX RDF	Multi-agent systems, formal specification, methodology
19	Jin Song Dong, Jing Sun 0002, Hai H. Wang	Semantic Web for Extending and Linking Formalisms.	FME	2002	DBLP DOI BibTeX RDF	specification environment, Semantic Web
19	Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems	A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	update logics, knowledge-based systems, dynamics, Specification languages, inference control
19	Mohammed Elkoutbi, Rudolf K. Keller	User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	scenario specification, Unified Modeling Language, high-level Petri net, User interface prototyping