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 |
|