|
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![Springer, 3-540-16444-8 The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
26 | Robert P. Daley |
Inductive inference hierarchies: probabilistic vs pluralistic strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 73-82, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Zdzislaw Habasinski |
Decidability in Pratt's process logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 180-184, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Takeshi Shinohara |
Some problems on inductive inference from positive data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 41-58, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Bernhard Thalheim |
Deductive normal forms of relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 226-230, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Steffen Lange |
A program synthesis algorithm exemplified. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 185-193, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Enn Tyugu |
Language and example of knowledge-based programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 59-72, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Helena Rasiowa, Andrzej Skowron |
Approximation logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 123-139, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Sergei S. Goncharov, Dmitri Ivanovich Sviridenko |
Theoretical aspects of Sigma-programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 169-179, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Klaus P. Jantke |
An algebraic framework for inductive program synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 101-122, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Werner Dilger, Wolfgang Womann |
The METANET. A knowledge representation tool based on abstract data types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 156-161, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Ognian Botusharov |
Learning on the basis of a polynomial pattern synthesis algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 141-148, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Dieter Pötschke |
Formalizing analogical reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 215-218, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Jan A. Bergstra, Jan Willem Klop |
Verification of an alternating bit protocol by means of process algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 9-23, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Rolf Wiehagen |
How fast is program synthesis from examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 231-239, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Christian Posthoff, Joachim Reiß |
The solution of discrete problems by means of ternary representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 207-214, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Tamás Gergely, Konstantin Vershinin |
Natural mathematical texts vs. programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 83-100, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Marek Ejsmont |
One more property of array languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 162-168, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Péter Komjáth, Zsolt Mihály Szabó |
Orientation problems on sequences by recursive functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 201-206, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Gisela Schäfer |
Some results in the theory of effective program synthesis: learning by defective information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 219-225, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Zeugmann |
On recursive optimizers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 240-245, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Wolfgang Bibel |
Predicative programming revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 25-40, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Jørgen Staunstrup (eds.) |
Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Specification ![Springer, 3-540-11490-4 The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
26 | James J. Horning |
Issues and Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Specification ![In: Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981, pp. 5-24, 1981, Springer, 3-540-11490-4. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
26 | Herbert Klaeren |
Recursive Definitions of Operations in Universal Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Specification ![In: Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981, pp. 268-281, 1981, Springer, 3-540-11490-4. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
26 | Deepak Kapur, David R. Musser, Alexander A. Stepanov 0001 |
Tecton: A Language for Manipulating Generic Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Specification ![In: Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981, pp. 402-414, 1981, Springer, 3-540-11490-4. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
26 | Leif Sandegaard Nielsen, Ib Holm Sørensen |
Communication Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Specification ![In: Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981, pp. 118-136, 1981, Springer, 3-540-11490-4. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
26 | Jørgen Staunstrup |
Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Specification ![In: Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981, pp. 1-4, 1981, Springer, 3-540-11490-4. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
26 | Leif Sandegaard Nielsen |
Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Specification ![In: Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981, pp. 415-422, 1981, Springer, 3-540-11490-4. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
26 | John V. Guttag |
A few Remarks on Putting Formal Specifications to Productive Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Specification ![In: Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981, pp. 370-380, 1981, Springer, 3-540-11490-4. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
26 | Jørgen Staunstrup, Joseph A. Goguen |
Geometrical Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Specification ![In: Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981, pp. 25-46, 1981, Springer, 3-540-11490-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Specification ![In: Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981, pp. 47-117, 1981, Springer, 3-540-11490-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Use of Formal Specification of Software ![Springer, 3-540-10442-9 The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
26 | Donald L. Boyd, Antonio Pizzarello, William T. Wood |
Abstraction and Refinement in RDM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Use of Formal Specification of Software ![In: The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany, pp. 111-149, 1979, Springer, 3-540-10442-9. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Helmut K. Berg, William R. Franta, Thomas G. Moher |
Correctness of Software - An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Use of Formal Specification of Software ![In: The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany, pp. 237-354, 1979, Springer, 3-540-10442-9. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg |
Writing Simulatable Specifications in SPECIAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Use of Formal Specification of Software ![In: The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany, pp. 39-78, 1979, Springer, 3-540-10442-9. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Donald L. Boyd, Antonio Pizzarello, William T. Wood |
An Overview of RDM: Rational Design Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Use of Formal Specification of Software ![In: The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany, pp. 79-110, 1979, Springer, 3-540-10442-9. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Helmut K. Berg |
Towards a Uniform Design Methodology for Software, Firmware, and Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Use of Formal Specification of Software ![In: The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany, pp. 1-38, 1979, Springer, 3-540-10442-9. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Mark Moriconi |
Interactive Design and Verification: A Message Switching Network Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Use of Formal Specification of Software ![In: The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany, pp. 355-388, 1979, Springer, 3-540-10442-9. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
25 | Martin C. Henson, Steve Reeves |
Revising Z: Part II - Logical Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 11(4), pp. 381-401, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 11(4), pp. 359-380, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 1997 Australian Software Engineering Conference (ASWEC '97), 28 September - 2 October 1997, Sydney, Australia, pp. 166-173, 1997, IEEE Computer Society, 0-8186-8081-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 338-343, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), March 11-15, 1996, Friedrichshafen, Germany., pp. 260-, 1996, IEEE Computer Society, 0-8186-7355-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRE ![In: Proceedings of the 2nd International Conference on Requirements Engineering, ICRE '96, Colorado Springs, Colorado, USA, April 15-18, 1996, pp. 182-189, 1996, IEEE Computer Society, 0-8186-7252-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), Syracuse, NY, USA, August 6-9, 1996., pp. 450-459, 1996, IEEE Computer Society, 0-8186-7582-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 254-261, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), March 13-15, 1995, Kenmare, County Kerry, Ireland, pp. 136-, 1995, IEEE Computer Society, 0-8186-7033-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 104-115, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 83-90, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 234-241, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 369-372, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 357-, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(10), pp. 750-759, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(4), pp. 279-295, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(9), pp. 794-804, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(10), pp. 1109-1125, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(6), pp. 553-564, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(10), pp. 1107-1121, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 611-621, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers, pp. 25-38, 2006, Springer, 978-3-540-69553-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Tim Menzies |
The Complexity of TRMCS-like Spiral Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 183-190, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | Kasilingam Periyasamy, Vangalur S. Alagar |
Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 28-39, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Kouichi Wada 0001, Kenichi Hagihara, Toshiro Araki, Nobuki Tokura |
Specification of schedulers with algebraic specification techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Operating Systems Engineering ![In: Operating Systems Engineering: Proceedings of the 14th IBM Computer SCience Symposium, Amagi, Japan, October 1980, pp. 42-62, 1980, Springer, 3-540-11604-4. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
24 | Charles André, Frédéric Mallet |
Specification and verification of time requirements with CCSL and Esterel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009, pp. 167-176, 2009, ACM, 978-1-60558-356-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, pp. 143-148, 2005, IEEE Computer Society, 0-7695-2413-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Roger Duke, Tim Miller, Paul A. Strooper |
Integrating Formal Specification and Software Verification and Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFM ![In: Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings, pp. 124-139, 2004, Springer, 3-540-23611-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Roswitha Bardohl, Claudia Ermel, Julia Padberg |
Transforming Specification Architectures by GenGED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, pp. 30-44, 2002, Springer, 3-540-44310-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Raimondas Lencevicius, Alexander Ran, Rahav Yairi |
Third eye - specification-based analysis of software execution traces (poster). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 772, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida |
Component-Based Algebraic Specification and Verification in CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1644-1663, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | James R. Slagle, David A. Gardiner, Kyungsook Han |
Knowledge Specification of an Expert System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 5(4), pp. 29-38, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Alfons Geser |
A Specification of the intel 8085 Microprocessor: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Methods ![In: Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987], pp. 347-401, 1987, Springer, 3-540-51698-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers, pp. 102-107, 2008, Springer, 978-3-540-70568-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS ![In: Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007, pp. 75-81, 2007, ACM, 978-1-59593-721-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 11-22, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 221-226, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Terry Winograd |
What can we teach about human-computer interaction? (plenary address). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 443-448, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Hans Brunner |
A snapshot of natural language interfaces (panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 53-55, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Jakob Nielsen |
Designing for international use (panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 291-294, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | S. Joy Mountford |
Designers: meet your users (panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 439-442, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Apple Computer, HyperCard, Inc |
24 | Marcy Telles |
Updating an older interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 243-248, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
WordStar |
24 | Frank Salger, Stefan Sauer 0001, Gregor Engels |
Integrated specification and quality assurance for large business information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: Proceeding of the 2nd Annual India Software Engineering Conference, ISEC 2009, Pune, India, February 23-26, 2009, pp. 129-130, 2009, ACM, 978-1-60558-426-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (2) ![In: On the Move to Meaningful Internet Systems: OTM 2009, Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part II, pp. 966-982, 2009, Springer, 978-3-642-05150-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Ontology Requirements, Competency Questions, Ontology Requirements Specification and Methodologies |
24 | Christian Soltenborn, Gregor Engels |
Towards Test-Driven Semantics Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 378-392, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007, Proceedings, pp. 567-569, 2007, Springer, 978-3-540-74850-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 397-400, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: International Conference on Internet and Web Applications and Services (ICIW 2007), May 13-19, 2007, Le Morne, Mauritius, pp. 66, 2007, IEEE Computer Society, 0-7695-2844-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 15th international conference on World Wide Web, WWW 2006, Edinburgh, Scotland, UK, May 23-26, 2006, pp. 1021-1022, 2006, ACM, 1-59593-323-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 55-66, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 2nd European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings, pp. 316-330, 2006, Springer, 3-540-35909-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2005 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Philadelphia, Pennsylvania, USA, August 22-26, 2005, pp. 265-276, 2005, ACM, 1-59593-009-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 41(2-4), pp. 301-338, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings, pp. 440-445, 2003, IEEE Computer Society, 0-7695-2020-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 215, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 28-30 May 2003, San Juan, Puerto Rico, Proceedings, pp. 93-99, 2003, IEEE Computer Society, 0-7695-1910-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 10(3), pp. 205-224, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 471-482, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 932-936, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 283, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 11-18, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|