The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase specification language (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1974-1979 (16) 1980-1982 (22) 1983-1984 (18) 1985-1986 (26) 1987 (25) 1988 (35) 1989 (31) 1990 (25) 1991 (40) 1992 (42) 1993 (41) 1994 (49) 1995 (46) 1996 (45) 1997 (51) 1998 (52) 1999 (77) 2000 (94) 2001 (96) 2002 (112) 2003 (95) 2004 (133) 2005 (139) 2006 (135) 2007 (119) 2008 (107) 2009 (76) 2010 (25) 2011-2012 (25) 2013-2014 (32) 2015-2016 (29) 2017-2018 (24) 2019 (15) 2020 (16) 2021-2022 (16)
Publication types (Num. hits)
article(327) book(4) incollection(14) inproceedings(1571) mastersthesis(1) phdthesis(12)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2102 occurrences of 1033 keywords

Results
Found 1929 publication records. Showing 1929 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
48Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer A grounded specification language for agent programs. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF agent specification language, agent programming language
48Kelly I. Morrison GRASP: an executable specification language for Ada tasking. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Ada, GRASP
45K. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel Hybrid specification of control systems. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF control system development, hybrid specification, formal software specification language, multidisciplinary development, control models, ASTRAL specifications, MatLab software packages, discrete subsystems, continuous subsystems, robot control system, continuous system models, simulation, simulation, formal specification, robots, formal verification, formal verification, specification languages, specification language, control theory, control theory, system behavior, control system CAD, discrete time systems, continuous time systems
44Ted L. Briggs, John Werth A Specification Language for Object-Oriented Analysis and Design. Search on Bibsonomy ECOOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Object Types, Message-Passing, Specification Language, Object-Oriented Design, Object-Oriented Analysis, Object-Oriented Specification
42Luigia Carlucci Aiello, Fabio Massacci An Executable Specification Language for Planning Attacks to Security Protocols. Search on Bibsonomy CSFW The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Model Checking, Verification, Logic Programs, Planning, Specification Language, Security Protocols
41Jing Sun 0002, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik SVG Web Environment for Z Specification Language. Search on Bibsonomy ICFEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Z formal specification language, Web based tool support, Scalable Vector Graphics
41Ramkumar V. Pichai, Joseph E. Urban A technique for validating Booch object-oriented designs from extensions to the Descartes specification language. Search on Bibsonomy HASE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Booch object-oriented design validation, Descartes specification language, executable specification language, traceability approach, real time systems, software reliability, rapid prototyping, object-oriented methods, CASE tool, safety critical software, secure systems, software validation, high assurance systems
40Kresimir Fertalj, Damir Kalpic, Vedran Mornar Source Code Generator Based on a Proprietary Specification Language. Search on Bibsonomy HICSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF specification language, CASE, application generator
37Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF nonmonotonic Horn clause logic, formal requirement specification language, frame-and-rule oriented requirement specification language, FRORL, surface syntax, hierarchical relationships, formal specification, object oriented, knowledge representation, prototyping, specification languages, inheritance, reusability, frames, software development environment, C language, production rules, multiple inheritance, Horn clauses, logic programming languages, executability, hybrid knowledge representation
37Bard Bloom Structured Operational Semantics as a Specification Language. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
36Barrett R. Bryant, Beum-Seuk Lee Two-Level Grammar as an Object-Oriented Requirements Specification Language. Search on Bibsonomy HICSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Object-Oriented Software Construction, Formal Specification, Vienna Development Method, Two-Level Grammar
36Tevfik Bultan Action Language: a specification language for model checking reactive systems. Search on Bibsonomy ICSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF model checking, specification languages, reactive systems
36Stephen S. Yau, Yu Wang 0015, Dazhi Huang, Hoh Peter In Situation-Aware Contract Specification Language for Middleware for Ubiquitous Computing. Search on Bibsonomy FTDCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Situation-Aware Contract Specification Language (SA-CSL), Reconfigurable Context-Sensitive Middleware (RCSM), security, Quality of Service (QoS), Ubiquitous computing, real time, middleware, situation-awareness, Aspect-Oriented Software Development (AOSD)
35XinJie Jiang, YongSen Xu NUSL: An Executable Specification Language Based on Data Abstraction. Search on Bibsonomy VDM Europe The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
33Daniel L. Kiskis, Kang G. Shin SWSL: A Synthetic Workload Specification Language for Real-Time Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF SWSL, synthetic workload specification language, synthetic workload generator, executable synthetic workload, operation level, control constructs, synthetic operations, real-time workloads, performance evaluation, performance, real-time systems, real-time systems, formal specification, distributed processing, specification languages, distributed real-time systems, data flow graph, dependability measurements
33Gerald M. Karam, Raymond J. A. Buhr Temporal Logic-Based Deadlock Analysis For Ada. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
32Alok N. Choudhary, Vijay Gehlot, Bhagirath Narahari Syntax and Semantics of PRETSEL - A Specification Language for Parallel Real-Time Systems. Search on Bibsonomy HICSS (1) The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
32Nancy G. Leveson Completeness in formal specification language design for process-control systems. Search on Bibsonomy FMSP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF completeness, process-control, Formal specification language
32Mohammad Feroz Raihan, Mohammad Zulkernine Detecting Intrusions Specified in a Software Specification Language. Search on Bibsonomy COMPSAC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Hassan Gomaa, Shaoying Liu, Michael E. Shin Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF domain modeling method, families of systems, SOFL formal specification language, multiple view object oriented analysis model, aggregation hierarchies, generalization/specialization hierarchies, UML static modeling notation, object communication diagrams, SOFL condition data flow diagram notation, variant classes, specification languages, application domain
31Farnam Jahanian, Aloysius K. Mok Modechart: A Specification Language for Real-Time Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Modechart, absolute timing, real-time clock, RTL formulas, RTL assertions, graphical implementation, SARTOR, real-time systems, real-time systems, semantics, specification languages, specification language, rapid prototyping, timing constraints, abstraction levels, logic programming languages, hierarchical organization, real-time logic
30Albrecht Schmidt 0001 Engineering interactive ubiquitous computing systems. Search on Bibsonomy EICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
30Gwen Salaün, Michel Allemand, J. Christian Attiogbé Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. Search on Bibsonomy APSEC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Multi-formalism Specifications, Generic Combination, Algebraic Specification Language, Process Algebra, Operational Semantics
30M. Cecilia Bastarrica, Steven A. Demurjian, Alexander A. Shvartsman Comprehensive Specification of Distributed Systems Using I5 and IOA. Search on Bibsonomy SCCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF distributed systems specification, incompatible components, IOA formal language, I5 specification framework, architectural definition, semantic specification, software architecture, formal specification, standardization, distributed processing, specification languages, specification language, communication protocols, configuration management, configuration management
29Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter Attempto Controlled English - Not Just Another Logic Specification Language. Search on Bibsonomy LOPSTR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
28Charalampos Vassiliou, Panagiotis Kanellis, Drakoulis Martakos Information Exchange for Effective Knowledge Management: A Translation Service Using Process Specification Language. Search on Bibsonomy DEXA Workshops The full citation details ... 2000 DBLP  DOI  BibTeX  RDF effective knowledge management, translation service, process specification language, ontologies, data structure, business data processing, information exchange, data semantics, business network
28Abdesselam Redouane A New Definitional Specification Language. Search on Bibsonomy ICCSA (1) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Chia-Chu Chiang, Joseph E. Urban Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations. Search on Bibsonomy COMPSAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF incremental elicitation, user specifications, TUG formal specification language, abstract execution, change request scripts, specification changes, timely updates, telegram analysis problem, formal specification, specification languages, rapid prototyping, formalization, software prototyping, user requirements, software transformations
28Shih-Chien Chou, Jason Jen-Yen Chen, Chian-Goei Chung An executable specification language for specification understanding in object-oriented specification reuse. Search on Bibsonomy Inf. Softw. Technol. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
27Beum-Seuk Lee, Barrett R. Bryant Automated conversion from requirements documentation to an object-oriented formal specification language. Search on Bibsonomy SAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF contextual natural language processing, object-oriented software specification, XML, Vienna development method, two-level grammar
27Stefan Kahrs, Donald Sannella Reflections on the Design of a Specification language. Search on Bibsonomy FASE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Yanhong Sun, Edward L. Jones Specification-driven automated testing of GUI-based Java programs. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF test specification language, test automation, test engine
27Martin Leucker, Thomas Noll 0001 Rapid Prototyping of Specification Language Implementations. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
26Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese Requirements Specification for Process-Control Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF aircraft instrumentation, example application, industrial aircraft collision avoidance system, TCAS II, example specification, formal requirements specification, formal specification, reverse engineering, specification languages, specification language, formal model, requirements specification, process control, aerospace computing, process-control systems, position control, process computer control
26Flavio De Paoli, Francesco Tisato CSDL: A Language for Cooperative Systems Design. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF cooperative systems design, CSDL, group activities, cooperation policy, conferencing systems, distributed systems, software architecture, CSCW, groupware, groupware, distributed processing, specification languages, specification language, cooperative systems, shared workspaces, design language, floor control
26Jianjun Zhao, Martin C. Rinard Pipa: A Behavioral Interface Specification Language for AspectJ. Search on Bibsonomy FASE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Rachid Helaihel, Kunle Olukotun Java as a specification language for hardware-software systems. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF java, Java, specification languages, hardware-software co-design
26K. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel Experiences with analysis of formal specifications in Astral. Search on Bibsonomy RTCSA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF temporal properties verification, simulation, formal specification, formal specifications, prototyping, specification language, timed automata, timing analysis, requirements specification, real-time software, Astral
26Savi Maharaj, Juan Bicarregui On the Verification of VDM Specification and Refinement with PVS. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF VDM specification, VDM formal method, PVS theorem prover, VDM-SL specification translation, PVS specification language, transparent translation methods, specification type-checking, nontrivial validation conditions, abstract specification, shallow embedding technique, verification, formal specification, proof rules
26Marie-Claude Gaudel Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives. Search on Bibsonomy STACS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
25Tibor Bosse, Mark Hoogendoorn, Radu Serban, Jan Treur A Specification Language for Coordination in Agent Systems. Search on Bibsonomy IAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Henrikas Pranevicius The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems. Search on Bibsonomy ADBIS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF aggregate approach, logistics centre, simulation, Distributed systems, formal specification, validation, Z specification language
25José A. Troyano, Jesús Torres 0001, Miguel Toro A technique for distributed systems specification. Search on Bibsonomy PDP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF distributed systems specification, object-oriented specification language, dining philosophers problem, formal specification, distributed algorithms, distributed processing, concurrency control, specification languages, distributed programming, object-oriented languages, transition system, algebraic model, algebraic data types, object attributes, transition rules
25Nicoletta De Francesco, Gigliola Vaglini Description of a Tool for Specifying and Prototyping Concurrent Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF executable concurrent programs, static semantics checks, scheduling, parallel programming, parallel programming, prototyping, debugging, software tools, programming environments, programming environments, specification language, specification languages, distributed applications, translation, automatic programming, automatic programming, functional language, program interpreters, concurrent language, interactive tools, dynamic testing
25Leslie Lamport, Lawrence C. Paulson Should your specification language be typed. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF specification, types, set theory
24Boris Sunik The specification language T. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2005 DBLP  DOI  BibTeX  RDF non-executable computer language, object-oriented programming, C++, specification language, language
24Hong Zhu 0002 A formal specification language for agent-oriented software engineering. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multiagent systems, scenario, software agent, formal specification language, caste
24Robert J. K. Jacob, Leonidas Deligiannidis, Stephen A. Morrison A Software Model and Specification Language for Non-WIMP User Interfaces. Search on Bibsonomy ACM Trans. Comput. Hum. Interact. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF PMIW, interaction techiques, non-WIMP interface, specification language, user interface management system (UIMS), state transition diagram
24Toshinori Suzuki, Sol M. Shatz, Tadao Murata A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF conversion rules, automated modeling, input/output behavior, linguistic specifications, LAPD protocol, verification, Petri nets, Petri nets, protocols, program verification, specification language, specification languages, communication protocols, timed Petri net
24Michael B. Jones, Richard F. Rashid, Mary R. Thompson Matchmaker: An Interface Specification Language for Distributed Processing. Search on Bibsonomy POPL The full citation details ... 1985 DBLP  DOI  BibTeX  RDF interface specification language, multi-targeted compiler, distributed systems, object-oriented languages, remote procedure call, interprocess communication
24Manish Vachharajani, Neil Vachharajani, David I. August The liberty structural specification language: a high-level modeling language for component reuse. Search on Bibsonomy PLDI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Liberty Structural Specification (LSS), simulator construction, use-based specialization, type inference, component reuse, structural modeling, Liberty Simulation Environment (LSE)
24Daniel Geist The PSL/Sugar Specification Language A Language for all Seasons. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Mohammad Reza Nami, Abbas Malekpour Formal specification of a particular banking domain with RAISE specification language. Search on Bibsonomy ISCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Sudhir Agarwal 0001 A Goal Specification Language for Automated Discovery and Composition of Web Services. Search on Bibsonomy Web Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Gabriel Ciobanu, Dorel Lucanu A specification language for coordinated objects. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2006 DBLP  DOI  BibTeX  RDF coordination, temporal logic, process algebra, objects, bisimulation, classes
24El Mustapha El Atifi, Gilles Falquet A Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases. Search on Bibsonomy DSV-IS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori A flexible protocol synthesis method for adopting requirement changes. Search on Bibsonomy ICPADS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF flexible protocol synthesis method, requirement changes adoption, communicating entities, maintenance issue, protocol synthesis method, formal specification language LOTOS, formal specification, protocols, software maintenance, specification languages, protocol specification
23Eduardo B. Fernández, Robert B. France Formal specification of real-time dependable systems. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF real-time dependable systems, analyzable specifications, specification analysis techniques, fault-tolerant quality, security quality, safety-critical quality, behavioral quality, precise specification language, formal reasoning systems, nonfunctional qualities, multilevel description, real-time systems, formal specification, formal specification, specification languages, security of data, software fault tolerance, consistency check, safety-critical software, system monitoring
23Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli A Formal Framework for ASTRAL Intralevel Proof Obligations. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF intralevel proof obligations, formal software development, mathematical correctness, ASLAN, TRIO, real-time systems, real-time systems, verification, formal specification, formal specification, formal methods, finite state machines, program verification, specification languages, state machines, formal specification language, formal proof, timing requirements, ASTRAL
23Silvia Clerici, Fernando Orejas GSBL: An Algebraic Specification Language Based on Inheritance. Search on Bibsonomy ECOOP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF genericity, specification languages, inheritance, Algebraic specification
23Lifeng Zhou, Hung Keng Pung, Lek Heng Ngoh Towards Semantic Modeling for QoS Specification. Search on Bibsonomy LCN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Hiroshi Ishikawa 0003 A Specification Construction Unit-Based Editor for Z. Search on Bibsonomy COMPSAC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Gérard P. Huet The Gallina Specification language: A Case Study. Search on Bibsonomy FSTTCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
23Bernd J. Krämer Stepwise construction of non-sequential software systems using a net-based specification language. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
23Emil Vassev, Mike Hinchey, Joey Paquet Towards an ASSL specification model for NASA swarm-based exploration missions. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF swarm missions, autonomic computing, formal specification language
23Luigia Carlucci Aiello, Fabio Massacci Verifying security protocols as planning in logic programming. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF logic programming, specification language, security protocols, AI planning
23Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF SHE, behaviour-preserving transformations, POOSL, formal specification, architecture design, design framework, formal specification language, formal approach
22Gary T. Leavens, Albert L. Baker, Clyde Ruby Preliminary design of JML: a behavioral interface specification language for java. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Valery A. Nepomniaschy, Nikolay V. Shilov 0002 REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties. Search on Bibsonomy Formal Methods in Programming and Their Applications The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
22Scott A. Vorthmann, Richard J. LeBlanc A naming specification language for syntax-directed editors. Search on Bibsonomy ICCL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
22Edgar G. Daylight, Sandeep K. Shukla On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF adaptability, non-functional requirements, formal specification languages, local reasoning
22Partha S. Roop, Arcot Sowmya Hidden time model for specification and verification of embedded systems. Search on Bibsonomy ECRTS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
22Knut Alfredsen, Bjørn Sæther An Object Oriented Framework for Creating Models in Hydrology. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
22Christopher Menzel, Michael Grüninger A formal foundation for process modeling. Search on Bibsonomy FOIS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF process specification language, process modeling, PSL, formal ontology
22Xavier Nicollin, Joseph Sifakis, Sergio Yovine Compiling Real-Time Specifications into Extended Automata. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF extended automata, simple specification language, watchdog constructs, state variables, event-driven execution mode, efficient code generation, real-time systems, real-time systems, complexity, formal specification, specification languages, timed automata, program compilers, symbolic model-checking, automata theory, communicating sequential processes, communicating processes, timeout, real-time properties, real-time specifications
21Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä The LIME Interface Specification Language and Runtime Monitoring Tool. Search on Bibsonomy RV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21F. Javier Soriano Camino, Fernando Alonso Amo, Genoveva López Gómez A Formal Specification Language for Agent Conversations. Search on Bibsonomy CEEMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21Keum-Young Sung Design of a Specification Language and Real-Time APIs for Easy Expression of Soft Real-Time Constraints with Java. Search on Bibsonomy ICN (1) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Vangalur S. Alagar, Kasilingam Periyasamy BTOZ: A Formal Specification Language for Formalizing Business Transactions. Search on Bibsonomy TOOLS (39) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Du Li, Richard R. Muntz A collaboration specification language. Search on Bibsonomy DSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Patrice Chalin, Peter Grogono, Thiruvengadam Radhakrishnan Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language. Search on Bibsonomy FME The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
21Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher Action Refinement from a Logical Point of View. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF verification, specification, modal logics, reactive systems, action refinement
21Perfecto Mariño, Francisco Poza, Miguel Angel Domínguez, Juan B. Nogueira Formal specification applied to industrial LAN's design. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF industrial LAN design, real-time field bus, PROFIBUS, industrial communication networks, data link layer, FDL, formal specification, formal specification, prototyping, software tools, methodology, LOTOS, data types, performance tests, formal specification language
21Dieter Fensel, Arno Schönegge Using KIV to Specify and Verify Architectures of Knowledge-Based Systems. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF reusable elements, Karlsruhe interactive verifier, algorithmic specification, interactive theorem prover, proof management, proof reuse, formal specification, formal specifications, knowledge-based systems, specification language, abstract data types, dynamic logic, functional specification
21Abdul Waheed, Vincent F. Melfi, Diane T. Rover A model for instrumentation system management in concurrent computer systems. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF parallel application software development, performance related parameter space, run-time tools, performance tuning aids, performance specification, speed characteristics, Portrayal Specification Language, performance evaluation, parallel programming, reverse engineering, monitoring, software tools, specification languages, performance prediction, data flow analysis, software performance evaluation, dataflow, parallel applications, control flow, program diagnostics, execution trace, program execution
21Kevin Lano Specifying static analysis tools using formal methods. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment
21Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore Formal Specification and Design Time Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF design time testing, executable specification language OBJ, formal specification, formal specification, specification languages, regularity, uniformity
21Daniel Hoffman, Richard T. Snodgrass Trace Specifications: Methodology and Models. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF trace specification language, trace specification methodology, specification consistency, executable prototypes, formal specification, formal specification, specification languages
21Antonio Cansado, Denis Caromel, Ludovic Henrio, Eric Madelaine, Marcela Rivera, Emil Salageanu A Specification Language for Distributed Components Implemented in GCM/ProActive. Search on Bibsonomy CoCoME The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Zhenchun Huang, Gu Lei, Bin Du, He Chuan Grid Resource Specification Language based on XML and its usage in Resource Registry Meta-Service. Search on Bibsonomy IEEE SCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Michael Leuschel Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog. Search on Bibsonomy PADL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Implementation and Compilation, Verification, Concurrency, Specification
21Daniel Hazel, Paul A. Strooper, Owen Traynor Possum: An Animator for the SUM Specification Language. Search on Bibsonomy APSEC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
21Sandrine Blazy, Frédéric Gervais, Régine Laleau Reuse of Specification Patterns with the B Method. Search on Bibsonomy ZB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Design pattern, reuse, B, specification pattern
21Gang Tan, Greg Morrisett Ilea: inter-language analysis across java and c. Search on Bibsonomy OOPSLA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF JVML, inter-language analysis, specification extraction, JNI, java native interface
21Ahmed M. Mostafa, Manal Ahmed Ismail, Hatem El-Bolok, E. M. Saad Toward a Formalization of UML2.0 Metamodel using Z Specifications. Search on Bibsonomy SNPD (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Use Case Diagram, State Machine Diagram, Unified Modeling Language (UML), Formalization, Class Diagram, Z specification language
20Handan Gül Çalikli, M. Ufuk Çaglayan A Formal Policy Specification Language for an 802.11 WLAN with Enhanced Security Network. Search on Bibsonomy ISCIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Administrative Domain, 802.11 Wireless Local Area Network (WLAN), Mobadtl, Security Policy
20Mathew Graves, Mohammad Zulkernine Bridging the gap: software specification meets intrusion detector. Search on Bibsonomy PST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF attack languages, intrusion detection, software security, software specification
20Wanwei Liu, Ji Wang 0001, Huowang Chen, Xiaodong Ma, Zhaofei Wang Symbolic model checking APSL. Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2009 DBLP  DOI  BibTeX  RDF tableau approach, extended NuSMV, symbolic model checking, property specification language
20Mike Hinchey, Emil Vassev An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL. Search on Bibsonomy ATC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Autonomic computing, specification language, system modeling
20Maoguang Wang, Li Zeng, Jiewen Luo, Qing Yu A DDL Based Formal Policy Representation. Search on Bibsonomy PRIMA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF GPSL(General policy specification language), policy ontology, autonomic computing, DDL
Displaying result #1 - #100 of 1929 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license