Search results for "specifications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Jun-Cheol Park, Raymond E. Miller	Synthesizing Protocol Specifications from Service Specifications in Timed Extended Finite State Machines.	ICDCS	1997	DBLP DOI BibTeX RDF
18	Christian Kant, Teruo Higashino, Gregor von Bochmann	Deriving Protocol Specifications from Service Specifications Written in LOTOS.	Distributed Comput.	1996	DBLP DOI BibTeX RDF
18	Rolf Schwitter, Norbert E. Fuchs	Attempto - From Specifications in Controlled Natural Language towards Executable Specifications	CoRR	1996	DBLP BibTeX RDF
18	Yves Guerte	Dérivation de programmes impératifs à partir de spécifications algébriques. (Derivation of imperative programs from algebraic specifications).		1996	RDF
18	Catherine Oriat	Etude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. (Modular specifications: finite colimits constructions, diagrams, isomorphisms).		1996	RDF
18	Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi	Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers.	ICDCS	1995	DBLP DOI BibTeX RDF
18	Philippe Facon, Regine Laleau	Des spécifications informelles aux spécifications formelles: compilation ou interprétation ?.	INFORSID	1995	DBLP BibTeX RDF
18	Yasunori Ishihara, Hiroyuki Seki, Tadao Kasami	A translation method from natural language specifications into formal specifications using contextual dependencies.	RE	1993	DBLP DOI BibTeX RDF
18	Teruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi	Deriving Protocol Specifications from Service Specifications in Extended FSM Models.	ICDCS	1993	DBLP DOI BibTeX RDF
18	Monika Kapus-Kolar	Deriving protocol specifications from service specifications including multirendezvous.	Microprocess. Microprogramming	1992	DBLP DOI BibTeX RDF
18	Hiroyuki Seki, Tadao Kasami, Eiji Nabika, Takashi Matsumura	A method for translating natural language program specifications into algebraic specifications.	Syst. Comput. Jpn.	1992	DBLP DOI BibTeX RDF
18	Laurent Mounier	Méthodes de vérification de spécifications comportementales : étude et mise en œuvre. (Verification methods for behavioural specifications).		1992	RDF
18	Monika Kapus-Kolar	Deriving protocol specifications from service specifications including parameters.	Microprocessing and Microprogramming	1991	DBLP DOI BibTeX RDF
18	Reinhard Gotzhein, Gregor von Bochmann	Deriving Protocol Specifications from Service Specifications Including Parameters.	ACM Trans. Comput. Syst.	1990	DBLP DOI BibTeX RDF	automated protocol design, communication service specification, protocol derivation
18	Ryszard Janicki, Tomasz Müldner	Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards.	Theor. Comput. Sci.	1990	DBLP DOI BibTeX RDF
18	Gregor von Bochmann, Reinhard Gotzhein	Deriving protocol specifications from service specifications.	SIGCOMM	1986	DBLP DOI BibTeX RDF
18	Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth	Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL-Implementation Specifications from Global Protocol Specifications.	ICCC	1986	DBLP BibTeX RDF
18	John E. Shore, Kathryn L. Heninger	Limits to specifications: why not more progress? Panel at IEEE conference on specifications of reliable software.	ACM SIGSOFT Softw. Eng. Notes	1979	DBLP DOI BibTeX RDF
17	Wenchao Li 0001, Alessandro Forin, Sanjit A. Seshia	Scalable specification mining for verification and diagnosis.	DAC	2010	DBLP DOI BibTeX RDF	error localization, verification, formal specification, debugging, diagnosis, assertions, post-silicon validation
17	Kivanc M. Ozonat, Donald Young	Towards a universal marketplace over the web: statistical multi-label classification of service provider forms with simulated annealing.	KDD	2009	DBLP DOI BibTeX RDF	multi-label clustering, e-commerce, web forms, statistical classification
17	Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä	The LIME Interface Specification Language and Runtime Monitoring Tool.	RV	2009	DBLP DOI BibTeX RDF
17	Sven J. Körner, Torben Brumm	RESI - A Natural Language Specification Improver.	ICSC	2009	DBLP DOI BibTeX RDF
17	Ruiqiang Zhang, Keiji Yasuda, Eiichiro Sumita	Chinese word segmentation and statistical machine translation.	ACM Trans. Speech Lang. Process.	2008	DBLP DOI BibTeX RDF	linear integration, statistical machine translation, translation model, Chinese word segmentation
17	Oscar González 0001, Rubby Casallas, Dirk Deridder	Modularizing Monitoring Rules in Business Processes Models.	OTM Workshops	2008	DBLP DOI BibTeX RDF
17	Hsin-Ta Chiao	Comparison of OMA BCAST 1.0 service guide with DVB-IPDC phase 1 ESG over DVB-H.	Mobility Conference	2008	DBLP DOI BibTeX RDF	BMC (broadcast and mobile convergence), EPG (electronic program guide), mobile multimedia broadcasting, mobile TV
17	John Derrick, Heike Wehrheim	On using data abstractions for model checking refinements.	Acta Informatica	2007	DBLP DOI BibTeX RDF
17	Satoshi Hoshino, Jun Ota 0001	Integrated Design Methodology for an Automated Transportation System in a Seaport Terminal.	ICRA	2007	DBLP DOI BibTeX RDF
17	Yang Xu 0016, Shengqun Tang, Youwei Xu, Zukai Tang	Towards Aspect Oriented Web Service Composition with UML.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
17	Jorge Lobo 0001	Policy-Based Computing: From Systems and Applications to Theory.	LPNMR	2007	DBLP DOI BibTeX RDF
17	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
17	Douglas R. Smith	Comprehension by Derivation.	IWPC	2005	DBLP DOI BibTeX RDF
17	Markus Rullmann, Sebastian Siegel, Renate Merker	Optimization of Reconfiguration Overhead by Algorithmic Transformations and Hardware Matching.	IPDPS	2005	DBLP DOI BibTeX RDF
17	Patrick Lam 0001, Viktor Kuncak, Martin C. Rinard	Generalized Typestate Checking for Data Structure Consistency.	VMCAI	2005	DBLP DOI BibTeX RDF
17	Ling Liu, Huaikou Miao	Mutation Operators for Object-Z Specification.	ICECCS	2005	DBLP DOI BibTeX RDF
17	Lalana Kagal, Timothy W. Finin	Modeling Communicative Behavior Using Permissions and Obligations.	AC	2004	DBLP DOI BibTeX RDF
17	Boris Böhlen, Ulrike Ranger	Concepts for Specifying Complex Graph Transformation Systems.	ICGT	2004	DBLP DOI BibTeX RDF
17	Orna Kupferman, Moshe Y. Vardi	Vacuity detection in temporal model checking.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Vacuous satisfaction, Model checking
17	Wing Lok Yeung, Karl R. P. H. Leung	A Synergistic Interweaving of Formal and Informal Methods.	COMPSAC	2003	DBLP DOI BibTeX RDF	Informal Methods, JSD, Formal Methods, CSP, Structured Methods, Method Integration
17	Arosha K. Bandara, Emil Lupu, Alessandra Russo	Using Event Calculus to Formalise Policy Specification and Analysis.	POLICY	2003	DBLP DOI BibTeX RDF
17	John V. Tucker, Jeffery I. Zucker	Abstract computability and algebraic specification.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Abstract computability, conditional equations, metric algebras, topological algebras, algebraic specification, computable analysis, equational logic
17	Patricio Letelier 0001, Pedro Sánchez	Validation of UML Classes through Animation.	ER (Workshops)	2002	DBLP DOI BibTeX RDF
17	Laks V. S. Lakshmanan, Sailaja Parthasarathy	On Efficient Matching of Streaming XML Documents and Queries.	EDBT	2002	DBLP DOI BibTeX RDF
17	Andrea Zisman, Alexander Kozlenkov	Knowledge Base Approach to Consistency Management of UML Specification.	ASE	2001	DBLP DOI BibTeX RDF
17	Chris Taylor, John Derrick, Eerke A. Boiten	A Case Study in Partial Specification: Consistency and Refinement for Object-Z.	ICFEM	2000	DBLP DOI BibTeX RDF
17	Carlos O'Ryan, Douglas C. Schmidt, Fred Kuhns, Marina Spivak, Jeff Parsons, Irfan Pyarali, David L. Levine	Evaluating Policies and Mechanisms for Supporting Embedded, Real-Time Applications with CORBA 3.0.	IEEE Real Time Technology and Applications Symposium	2000	DBLP DOI BibTeX RDF
17	Adel Bouhoula	Simultaneous Checking of Completeness and Ground Confluence.	ASE	2000	DBLP DOI BibTeX RDF
17	Kanna Shimizu, David L. Dill, Alan J. Hu	Monitor-Based Formal Specification of PCI.	FMCAD	2000	DBLP DOI BibTeX RDF
17	Orna Kupferman, Moshe Y. Vardi	Vacuity Detection in Temporal Model Checking.	CHARME	1999	DBLP DOI BibTeX RDF
17	Rance Cleaveland	Temporal Process Logic (Abstract).	CONCUR	1999	DBLP DOI BibTeX RDF
17	Nigel Ward	Adding Specification Constructors to the Refinement Calculus.	FME	1993	DBLP DOI BibTeX RDF
17	Jacek Leszczylowski, Martin Wirsing	Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective.	STACS	1991	DBLP DOI BibTeX RDF
17	Silvia Clerici, Fernando Orejas	GSBL: An Algebraic Specification Language Based on Inheritance.	ECOOP	1988	DBLP DOI BibTeX RDF	genericity, specification languages, inheritance, Algebraic specification
15	Andrew Gacek	Relating nominal and higher-order abstract syntax specifications.	PPDP	2010	DBLP DOI BibTeX RDF	higher-order abstract syntax, proof search, nominal logic
15	Kivanc Ozonat	Generation of Specifications Forms through Statistical Learning for a Universal Services Marketplace.	WISE	2009	DBLP DOI BibTeX RDF
15	Koen Claessen	The Twilight Zone: From Testing to Formal Specifications and Back Again.	APLAS	2009	DBLP DOI BibTeX RDF
15	Elena Planas, Jordi Cabot, Cristina Gómez 0001	Verifying Action Semantics Specifications in UML Behavioral Models.	CAiSE	2009	DBLP DOI BibTeX RDF
15	Robert Könighofer, Georg Hofferek, Roderick Bloem	Debugging formal specifications using simple counterstrategies.	FMCAD	2009	DBLP DOI BibTeX RDF
15	Thomas Chatain, Paul Gastin, Nathalie Sznajder	Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems.	SOFSEM	2009	DBLP DOI BibTeX RDF	Distributed synthesis, Asynchronous systems
15	Hywel R. Dunn-Davies, Jim Cunningham	Verifying realizability and reachability in recursive interaction protocol specifications.	AAMAS (2)	2009	DBLP BibTeX RDF	propositional statecharts, verification, interaction protocols
15	Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng	Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.	FASE	2009	DBLP DOI BibTeX RDF
15	Farid Meziane, Nikos Athanasakis, Sophia Ananiadou	Generating Natural Language specifications from UML class diagrams.	Requir. Eng.	2008	DBLP DOI BibTeX RDF
15	Helmut Neukirchen, Benjamin Zeiss, Jens Grabowski	An approach to quality engineering of TTCN-3 test specifications.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF	Metrics, Refactoring, Quality model, TTCN-3, Code smells, Test specification
15	Rupa Sampath, Houshang Darabi, Ugo A. Buy, Liu Jing	Control Reconfiguration of Discrete Event Systems With Dynamic Control Specifications.	IEEE Trans Autom. Sci. Eng.	2008	DBLP DOI BibTeX RDF
15	Gonzalo Valiño Riestra, David Blanco Fernandez, Braulio Jose Alvarez, Sabino Mateos Diaz, Natalia Beltran Delgado	Prevention of Workpice Form Deviations in CNC Turning Based on Tolerance Specifications.	World Congress on Engineering (Selected Papers)	2008	DBLP DOI BibTeX RDF	CNC turning, form deviation, machining error, CAPP, tolerance
15	Felipe G. Dias, Eber A. Schmitz, Maria Luiza Machado Campos, Alexandre L. Correa, Antonio J. Alencar	Elaboration of use case specifications: an approach based on use case fragments.	SAC	2008	DBLP DOI BibTeX RDF	information systems specification, use case fragments, use cases
15	Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson 0001	Finding Minimal Unsatisfiable Cores of Declarative Specifications.	FM	2008	DBLP DOI BibTeX RDF
15	Xiao-Ni Zhang, Guang-Hong Yang	Dynamic output feedback control with finite frequency specifications for time-delay systems.	CDC	2008	DBLP DOI BibTeX RDF
15	Sertac Karaman, Ricardo G. Sanfelice, Emilio Frazzoli	Optimal control of Mixed Logical Dynamical systems with Linear Temporal Logic specifications.	CDC	2008	DBLP DOI BibTeX RDF
15	Paul Ammann, Jeff Offutt, Wuzhi Xu	Coverage Criteria for State Based Specifications.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
15	Narayan C. Debnath, Laura Felice, German Montejano, Daniel Riesco	A Feature Model of E-Government Systems Integrated with Formal Specifications.	ITNG	2008	DBLP DOI BibTeX RDF	RSL Specification, Formal Specification, e-government, Feature Model
15	Sören Blom, Matthias Book, Volker Gruhn	Executable Semantics of Recursively Nestable Dialog Flow Specifications for Web Applications.	ICWE	2008	DBLP DOI BibTeX RDF
15	James Burton 0001	Diagrams and intuitive formal specifications.	VL/HCC	2008	DBLP DOI BibTeX RDF
15	Beril Ceylan, Mustafa Murat Inceoglu	Materializing Learning Objects with SCORM Specifications.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	Captivate, distance education, SCORM, instructional technology, reusable learning objects
15	Farn Wang, Chih-Hong Cheng	Program Repair Suggestions from Graphical State-Transition Specifications.	FORTE	2008	DBLP DOI BibTeX RDF	state graph, state transition relation, evaluation, graph theory, cost, bisimulation, equivalence, repair
15	Rajarajan Senguttuvan, Soumendu Bhattacharya, Abhijit Chatterjee	Fast Accurate Tests for Multi-Carrier Transceiver Specifications: EVM and Noise.	VTS	2008	DBLP DOI BibTeX RDF	communication systems, test time, manufacturing testing
15	Irina Rychkova, Gil Regev, Alain Wegmann	High-level design and analysis of business processes the advantages of declarative specifications.	RCIS	2008	DBLP DOI BibTeX RDF
15	Zheng Fu, Graeme Smith 0001	Towards More Flexible Development of Z Specifications.	TASE	2008	DBLP DOI BibTeX RDF
15	Jyotishman Pathak, Samik Basu 0001, Vasant G. Honavar	Composing Web Services through Automatic Reformulation of Service Specifications.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF	Web Services, Composition, Labeled Transition Systems, Reformulation
15	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
15	Mana Taghdiri, Daniel Jackson 0001	Inferring specifications to detect errors in code.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Modular abstraction, Counterexample-guided abstraction refinement, Bounded program verification, SAT, Alloy, Specification inference
15	Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso	Towards UML-based formal specifications of component-based real-time software.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
15	Anthony G. Constantinides, Wenmin Li	An Algebraic Approach to the Estimation of the Order of FIR Filters From Complete and Partial Magnitude and Phase Specifications.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
15	Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre	Efficient Analysis of DynAlloy Specifications.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	software specification, dynamic logic, Alloy, software validation
15	Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin	Multiple Pre/Post Specifications for Heap-Manipulating Methods.	HASE	2007	DBLP DOI BibTeX RDF
15	Camille Constant, Bertrand Jeannet, Thierry Jéron	Automatic Test Generation from Interprocedural Specifications.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
15	Eric Bodden, Hans Vangheluwe	Transforming Timeline Specifications into Automata for Runtime Monitoring.	AGTIVE	2007	DBLP DOI BibTeX RDF
15	Dussadee Praserttitipong, Peraphon Sophatsathit	A Framework for Deterministic Intention Specifications of an Agent toward an Incomplete Declared Intention.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
15	Chih-Wei Ho, Laurie A. Williams, Annie I. Antón	Improving Performance Requirements Specifications from Field Failure Reports.	RE	2007	DBLP DOI BibTeX RDF
15	Cliff B. Jones, Ian J. Hayes, Michael A. Jackson 0001	Deriving Specifications for Systems That Are Connected to the Physical World.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
15	Daniel Popescu 0001, Spencer Rugaber, Nenad Medvidovic, Daniel M. Berry	Reducing Ambiguities in Requirements Specifications Via Automatically Created Object-Oriented Models.	Monterey Workshop	2007	DBLP DOI BibTeX RDF
15	Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach	Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications.	ATVA	2007	DBLP DOI BibTeX RDF
15	Dubravka Ilic	Deriving Formal Specifications from Informal Requirements.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
15	Damijan Rebernak, Marjan Mernik	A tool for compiler construction based on aspect-oriented specifications.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
15	Mithun Acharya, Tao Xie 0001, Jian Pei, Jun Xu 0003	Mining API patterns as partial orders from source code: from usage scenarios to specifications.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	API patterns, specification, partial orders, mining, usage scenarios
15	Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro	Model Checking Temporal Metric Specifications with Trio2Promela.	FSEN	2007	DBLP DOI BibTeX RDF	model checking, temporal logic, Spin
15	Chao-Lieh Chen	Morphisms from IEEE 802.11 DCF specifications to its EDCA QoS practice with cross-layer interface.	ICPADS	2007	DBLP DOI BibTeX RDF
15	Joe Hendrix, José Meseguer 0001	On the Completeness of Context-Sensitive Order-Sorted Specifications.	RTA	2007	DBLP DOI BibTeX RDF
15	Hiroyuki Nakagawa, Kenji Taguchi 0001, Shinichi Honiden	Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models.	ASE	2007	DBLP DOI BibTeX RDF	formal methods, model transformation, requirements analysis
15	Kim Lauenroth, Klaus Pohl	Towards automated consistency checks of product line requirements specifications.	ASE	2007	DBLP DOI BibTeX RDF	requirements engineering, consistency, product line
15	Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini	Trio2Promela: A Model Checker for Temporal Metric Specifications.	ICSE Companion	2007	DBLP DOI BibTeX RDF