|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 24978 occurrences of 6419 keywords
|
|
|
Results
Found 29225 publication records. Showing 29225 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Wolfgang Bibel, Klaus P. Jantke (eds.) |
Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985 |
Mathematical Methods of Specification and Synthesis of Software Systems |
1986 |
DBLP DOI BibTeX RDF |
|
26 | Robert P. Daley |
Inductive inference hierarchies: probabilistic vs pluralistic strategies. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Zdzislaw Habasinski |
Decidability in Pratt's process logics. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Takeshi Shinohara |
Some problems on inductive inference from positive data. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Bernhard Thalheim |
Deductive normal forms of relations. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Steffen Lange |
A program synthesis algorithm exemplified. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Enn Tyugu |
Language and example of knowledge-based programming. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Helena Rasiowa, Andrzej Skowron |
Approximation logic. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Sergei S. Goncharov, Dmitri Ivanovich Sviridenko |
Theoretical aspects of Sigma-programming. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Klaus P. Jantke |
An algebraic framework for inductive program synthesis. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Werner Dilger, Wolfgang Womann |
The METANET. A knowledge representation tool based on abstract data types. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Ognian Botusharov |
Learning on the basis of a polynomial pattern synthesis algorithm. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Dieter Pötschke |
Formalizing analogical reasoning. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Jan A. Bergstra, Jan Willem Klop |
Verification of an alternating bit protocol by means of process algebra. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Rolf Wiehagen |
How fast is program synthesis from examples. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Christian Posthoff, Joachim Reiß |
The solution of discrete problems by means of ternary representation. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Tamás Gergely, Konstantin Vershinin |
Natural mathematical texts vs. programs. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Marek Ejsmont |
One more property of array languages. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Péter Komjáth, Zsolt Mihály Szabó |
Orientation problems on sequences by recursive functions. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Gisela Schäfer |
Some results in the theory of effective program synthesis: learning by defective information. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Zeugmann |
On recursive optimizers. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Wolfgang Bibel |
Predicative programming revisited. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Jørgen Staunstrup (eds.) |
Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981 |
Program Specification |
1982 |
DBLP DOI BibTeX RDF |
|
26 | James J. Horning |
Issues and Observations. |
Program Specification |
1981 |
DBLP DOI BibTeX RDF |
|
26 | Herbert Klaeren |
Recursive Definitions of Operations in Universal Algebras. |
Program Specification |
1981 |
DBLP DOI BibTeX RDF |
|
26 | Deepak Kapur, David R. Musser, Alexander A. Stepanov 0001 |
Tecton: A Language for Manipulating Generic Objects. |
Program Specification |
1981 |
DBLP DOI BibTeX RDF |
|
26 | Leif Sandegaard Nielsen, Ib Holm Sørensen |
Communication Network. |
Program Specification |
1981 |
DBLP DOI BibTeX RDF |
|
26 | Jørgen Staunstrup |
Introduction. |
Program Specification |
1981 |
DBLP DOI BibTeX RDF |
|
26 | Leif Sandegaard Nielsen |
Concurrency. |
Program Specification |
1981 |
DBLP DOI BibTeX RDF |
|
26 | John V. Guttag |
A few Remarks on Putting Formal Specifications to Productive Use. |
Program Specification |
1981 |
DBLP DOI BibTeX RDF |
|
26 | Jørgen Staunstrup, Joseph A. Goguen |
Geometrical Constructions. |
Program Specification |
1981 |
DBLP DOI BibTeX RDF |
|
26 | Jørgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jörg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Sørensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen |
KWIC-index generation. |
Program Specification |
1981 |
DBLP DOI BibTeX RDF |
|
26 | Helmut K. Berg, Wolfgang K. Giloi (eds.) |
The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany |
The Use of Formal Specification of Software |
1980 |
DBLP DOI BibTeX RDF |
|
26 | Donald L. Boyd, Antonio Pizzarello, William T. Wood |
Abstraction and Refinement in RDM. |
The Use of Formal Specification of Software |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Helmut K. Berg, William R. Franta, Thomas G. Moher |
Correctness of Software - An Overview. |
The Use of Formal Specification of Software |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg |
Writing Simulatable Specifications in SPECIAL. |
The Use of Formal Specification of Software |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Donald L. Boyd, Antonio Pizzarello, William T. Wood |
An Overview of RDM: Rational Design Methodology. |
The Use of Formal Specification of Software |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Helmut K. Berg |
Towards a Uniform Design Methodology for Software, Firmware, and Hardware. |
The Use of Formal Specification of Software |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Mark Moriconi |
Interactive Design and Verification: A Message Switching Network Example. |
The Use of Formal Specification of Software |
1979 |
DBLP DOI BibTeX RDF |
|
25 | Martin C. Henson, Steve Reeves |
Revising Z: Part II - Logical Development. |
Formal Aspects Comput. |
1999 |
DBLP DOI BibTeX RDF |
Specification language Z, Logics of specification languages, Semantics of specification languages |
25 | Martin C. Henson, Steve Reeves |
Revising Z: Part I - Logic and Semantics. |
Formal Aspects Comput. |
1999 |
DBLP DOI BibTeX RDF |
Specification language Z, Logics of specification languages, semantics of specification languages |
25 | Anthony M. Sloane |
Generating Dynamic Program Analysis Tools. |
Australian Software Engineering Conference |
1997 |
DBLP DOI BibTeX RDF |
dynamic program analysis tool generation, instrumentation based systems, analysis algorithm specification, implicit storage allocation, automatic sequencing, Wyong system, analysis module specification, Eli compiler generation system, ATOM program instrumentation system, instrumentation code, ATOM instrumented binary, specification based method, instrumentation based implementation, automatic programming, attribute grammars, data sources, dynamic structure |
25 | Carl K. Chang, Yi-Te Tseng, Ugo A. Buy |
Compiling process algebraic specifications into timed automata. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
Language of Timed Processes, process algebraic specification compilation, process-algebra-based specification language, process descriptions, periodic constraints, sporadic constraints, periodic behavior modelling, finite representation, delays, computations, timed automata, translation, algebraic specification, real-time applications, deadlines, execution time, automatic verification, timeouts, timing requirement, LTP, timed transition systems |
25 | Miroslav Svéda |
Embedded system design: a case study. |
ECBS |
1996 |
DBLP DOI BibTeX RDF |
pumps, embedded distributed systems, dispenser control, local time concept, system-wide global clock, environment specification, system functional specification, logical structure description, petrol pumping station, explosion danger, uncontrolled petrol flow, real-time systems, formal specification, prototyping, distributed processing, controller, implementation, systems analysis, synchronisation, flow control, safety critical system, clocks, distributed control, software prototyping, safety-critical software, embedded system design, counter, control system CAD |
25 | Lara D. Catledge, Colin Potts |
Collaboration during conceptual design. |
ICRE |
1996 |
DBLP DOI BibTeX RDF |
representative industrial software project, Centauri, follow up observations, documented specification, common system vision, critical allocation, interface design decisions, prescriptive development process, working product, collaboration, communication, formal specification, human factors, project management, requirements analysis, software development management, architectural design, conceptual design, research methodology, functional specification, project teams, project team |
25 | Torsten Braun, Isabelle Chrisment, Christophe Diot, François Gagnon, Laurent Gautier |
ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications. |
HPDC |
1996 |
DBLP DOI BibTeX RDF |
protocol compiler, ALFred, end-to-end communication functions, high performance implementation, control compiler, ALF compiler, data manipulation compiler, ILP compiler, high performance communication architectures, formal specification, formal specification, protocols, distributed processing, specification languages, software design, distributed applications, program compilers, software performance evaluation, software prototyping, software prototyping, ESTEREL, communication architecture, data handling |
25 | José Ramón González de Mendívil, Akim Demaille, José M. Bernabéu-Aubán, José Ramón Garitagoitia |
Correctness of a distributed deadlock resolution algorithm for the single request model. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
distributed deadlock resolution algorithm, single request model, resolution algorithm, initial specification, complete distributed system, Input/Output Automata Model, formal specification, distributed algorithms, concurrency control, refinements, operating systems (computers), automata theory, high level specification |
25 | Simon N. Foley, Jeremy Jacob |
Specifying security for CSCW systems. |
CSFW |
1995 |
DBLP DOI BibTeX RDF |
confidentiality security, formal specification, formal specification, specification, groupware, safety, security of data, functionality, CSCW systems |
25 | Douglas Niehaus, John A. Stankovic, Krithi Ramamritham |
A real-time system description language. |
IEEE Real Time Technology and Applications Symposium |
1995 |
DBLP DOI BibTeX RDF |
real-time system description language, system design specification, automatic calculation, automatic analysis environment, design and analysis environment, specification changes, layered abstractions, concealed implementation details, timing correctness, robotic pick-and-place circuit board assembly, distributed real-time scheduling simulation, ease of modification, automatic loading, real-time systems, timing, specification languages, timing analysis, SDL, automatic linking, flexible manufacturing |
25 | Guijun Wang, Allen L. Ambler |
Invocation Polymorphism. |
VL |
1995 |
DBLP DOI BibTeX RDF |
invocation polymorphism, general specification, intelligent analysis process, visual interactive programming style, formal specification, knowledge based systems, programming languages, visual programming, visual programming, visual languages, ambiguities, programming theory, interactive programming, specification refinement |
25 | Susan M. Üsküdarli, T. B. Dinesh |
Towards a Visual Programming Environment Generator for Algebraic Specifications. |
VL |
1995 |
DBLP DOI BibTeX RDF |
visual programming environment generator, special purpose languages, formally specified languages, picture definition language, VODL, language syntax, visual editors, formal specification, software tools, visual programming, visual languages, visual languages, algebraic specification, algebraic specifications, visual specification |
25 | Michelle M. Hugue, Richard C. Scalzo |
Specifying fault tolerance in large complex computing systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
fault tolerance specification, large complex computing systems, requirements specification phase, fault hypothesis, partially correct system, system fault hypothesis, health management function, performance, real-time systems, reliability, formal specification, integrity, fault tolerant computing, software reliability, availability, safety, confidentiality, software performance evaluation, maintainability, timeliness, quality of service requirements, system behaviors, system life-cycle, dependability constraints |
25 | Pam Binns, Steve Vestal |
Architecture specifications for complex real-time dependable systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
complex real-time dependable systems, automated analytic modeling, automated system implementation, real-time systems, formal specification, program verification, specification languages, specification languages, formal models, program correctness, architecture specifications |
25 | Yabo Wang, David Lorge Parnas |
Simulating the Behavior of Software Modules by Trace Rewriting. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
software module behavior simulation, trace rewriting, trace assertion method, module interface specification method, specification simulation tool, trace simulator, trace specifications, trace rewriting systems, trace simulation, simulation, formal specification, finite state machines, digital simulation, term rewriting, rewriting systems, finite state machine model |
25 | Robert E. Fields, Morten Elvang-Gøransson |
A VDM Case Study in mural. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
interactive theorem-proving assistant, specification support tool, mural, verification, formal specification, specification, software tools, theorem proving, program verification, interactive systems, VDM, Vienna development method |
25 | Xavier Nicollin, Joseph Sifakis, Sergio Yovine |
Compiling Real-Time Specifications into Extended Automata. |
IEEE Trans. Software Eng. |
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 |
25 | Gerald M. Karam, Raymond J. A. Buhr |
Temporal Logic-Based Deadlock Analysis For Ada. |
IEEE Trans. Software Eng. |
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 |
25 | Roy S. Freedman |
Testability of Software Components. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
domain testability, domain-testable program, input-output inconsistencies, small test sets, test outputs, domain-testable specification, nondomain-testable specification, formal specification, controllability, software components, program testing, observability, program specifications |
25 | Robert V. Rubin, James Walker II, Eric J. Golin |
Early Experience with the Visual Programmer's WorkBench. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
Visual Programmer's WorkBench, customization of environments, PetriFSA language, abstract structure, formal specification, data structures, specification, synthesis, programming environments, program verification, specification languages, visual programming, visual languages, dynamic semantics, static semantics, distributed programming environment, syntactic structure |
25 | Geoff Barrett |
Formal Methods Applied to a Floating-Point Number System. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
floating-point number system, binary floating-point arithmetic, ANSI/IEEE Std. 754-1985, set-theoretic specification language, sequential components, unpack, operands, proven rules, mathematically rigorous method, Inmos IMS T800 transputer, formal specification, formal methods, specification languages, digital arithmetic, Z, formalization, round, pack, program development, IEEE standard, floating-point unit, internal representations |
25 | Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque |
Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. |
DSV-IS |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Tim Menzies |
The Complexity of TRMCS-like Spiral Specification. |
IWSSD |
2000 |
DBLP BibTeX RDF |
|
25 | Kasilingam Periyasamy, Vangalur S. Alagar |
Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Kouichi Wada 0001, Kenichi Hagihara, Toshiro Araki, Nobuki Tokura |
Specification of schedulers with algebraic specification techniques. |
Operating Systems Engineering |
1980 |
DBLP DOI BibTeX RDF |
|
24 | Charles André, Frédéric Mallet |
Specification and verification of time requirements with CCSL and Esterel. |
LCTES |
2009 |
DBLP DOI BibTeX RDF |
synchronous languages, uml, marte, time model |
24 | Mohammad Feroz Raihan, Mohammad Zulkernine |
Detecting Intrusions Specified in a Software Specification Language. |
COMPSAC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Roger Duke, Tim Miller, Paul A. Strooper |
Integrating Formal Specification and Software Verification and Validation. |
TFM |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Roswitha Bardohl, Claudia Ermel, Julia Padberg |
Transforming Specification Architectures by GenGED. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Raimondas Lencevicius, Alexander Ran, Rahav Yairi |
Third eye - specification-based analysis of software execution traces (poster). |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida |
Component-Based Algebraic Specification and Verification in CafeOBJ. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
24 | James R. Slagle, David A. Gardiner, Kyungsook Han |
Knowledge Specification of an Expert System. |
IEEE Expert |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Alfons Geser |
A Specification of the intel 8085 Microprocessor: A Case Study. |
Algebraic Methods |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Leila Jemni Ben Ayed, Fatma Siala |
Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B. |
DSV-IS |
2008 |
DBLP DOI BibTeX RDF |
Multi-Agent System, verification, specification, Event B, AUML |
24 | Pavlína Vareková, Barbora Zimmerová |
Subject-observer specification with component-interaction automata. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
dynamic number of components, verification, specification, component-based systems, software modelling, finite-state systems |
24 | Martin Glinz |
Problems and Deficiencies of UML as a Requirements Specification Language. |
IWSSD |
2000 |
DBLP BibTeX RDF |
model, UML, decomposition, use case, requirements specification |
24 | Neff Walker, John B. Smelcer |
A comparison of selection time from walking and pull-down menus. |
CHI |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Terry Winograd |
What can we teach about human-computer interaction? (plenary address). |
CHI |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Hans Brunner |
A snapshot of natural language interfaces (panel). |
CHI |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Jakob Nielsen |
Designing for international use (panel). |
CHI |
1990 |
DBLP DOI BibTeX RDF |
|
24 | S. Joy Mountford |
Designers: meet your users (panel). |
CHI |
1990 |
DBLP DOI BibTeX RDF |
Apple Computer, HyperCard, Inc |
24 | Marcy Telles |
Updating an older interface. |
CHI |
1990 |
DBLP DOI BibTeX RDF |
WordStar |
24 | Frank Salger, Stefan Sauer 0001, Gregor Engels |
Integrated specification and quality assurance for large business information systems. |
ISEC |
2009 |
DBLP DOI BibTeX RDF |
quality assurance, software specification |
24 | Mari Carmen Suárez-Figueroa, Asunción Gómez-Pérez, Boris Villazón-Terrazas |
How to Write and Use the Ontology Requirements Specification Document. |
OTM Conferences (2) |
2009 |
DBLP DOI BibTeX RDF |
Ontology Requirements, Competency Questions, Ontology Requirements Specification and Methodologies |
24 | Christian Soltenborn, Gregor Engels |
Towards Test-Driven Semantics Specification. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
Semantics specification, model checking, testing |
24 | Douglas Gorton, Weiguo Fan, Edward A. Fox |
Specification and Generation of Digital Libraries into DSpace Using the 5S Framework. |
ECDL |
2007 |
DBLP DOI BibTeX RDF |
5SL, digital libraries, specification, generation, 5S, DSpace |
24 | Andrea Arcuri, Xin Yao 0001 |
Coevolving programs and unit tests from their specification. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
formal specification, genetic programming, software testing, sorting, coevolution, automatic programming |
24 | K. P. Subramoney, Gerhard P. Hancke 0001 |
A Secure Web Service for Electricity Prepayment Vending in South Africa: A Case Study and Industry Specification. |
ICIW |
2007 |
DBLP DOI BibTeX RDF |
Prepayment, Electricity Vending, Industry specification, Web Service, Interoperability, Client-server, Secure Socket layer |
24 | Naoki Yoshinaga 0001, Kentaro Torisawa |
Finding specification pages according to attributes. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
attribute acquisition, specification finding, web search |
24 | Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith 0008, Keith Wansbrough |
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL |
24 | Artur Boronat, Joaquín Oriente, Abel Gómez 0001, Isidro Ramos, José A. Carsí |
An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework. |
ECMDA-FA |
2006 |
DBLP DOI BibTeX RDF |
OCL queries and invariants, MDA, metamodeling, algebraic specification |
24 | Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith 0008, Keith Wansbrough |
Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets. |
SIGCOMM |
2005 |
DBLP DOI BibTeX RDF |
specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL |
24 | Paula Gouveia, Jaime Ramos |
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
specification, multi-agents, certification, knowledge, abduction, situation calculus |
24 | Jeffrey Ka-Hing Mak, Clifford Sze-Tsan Choy, Daniel Pak-Kong Lun |
Precise Specification to Compound Patterns with ExLePUS. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
Compound Patterns, ExLePUS, LePUS, Formal Specification, Design Patterns |
24 | Elena Troubitsyna |
Integrating Safety Analysis into Formal Specification of Dependable Systems. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
failure mode and effect analysis, formal specification, statecharts, actions systems |
24 | Stephen S. Yau, Yu Wang 0015, Dazhi Huang, Hoh Peter In |
Situation-Aware Contract Specification Language for Middleware for Ubiquitous Computing. |
FTDCS |
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) |
24 | Jessica Chen, Suganthan Subramaniam |
Specification-based Testing for Gui-based Applications. |
Softw. Qual. J. |
2002 |
DBLP DOI BibTeX RDF |
java AWT and swing, finite state machines, specification-based testing, capture/replay |
24 | Guido Wimmel, Jan Jürjens |
Specification-Based Test Generation for Security-Critical Systems Using Mutations. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
E-Commerce Systems, Security-Critical Systems, Validation and Analysis, Computer-aided Software Engineering (CASE), Formal Methods, Test Case Generation, Test Specification, AutoFocus |
24 | Beum-Seuk Lee, Barrett R. Bryant |
Automated conversion from requirements documentation to an object-oriented formal specification language. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
contextual natural language processing, object-oriented software specification, XML, Vienna development method, two-level grammar |
24 | Kresimir Fertalj, Damir Kalpic, Vedran Mornar |
Source Code Generator Based on a Proprietary Specification Language. |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
specification language, CASE, application generator |
24 | Toshiaki Arai, Frieder Stolzenburg |
Multiagent systems specification by UML statecharts aiming at intelligent manufacturing. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
design implementation, methodologies for specification, robotic soccer (RoboCup), validation standards for agents and multiagent systems, unified modeling language, multiagent systems, statecharts, agent-based software engineering, intelligent manufacturing |
Displaying result #501 - #600 of 29225 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|