|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3013 occurrences of 1943 keywords
|
|
|
Results
Found 3560 publication records. Showing 3560 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
80 | Yuri Breitbart, Dimitrios Georgakopoulos 0001, Marek Rusinkiewicz, Abraham Silberschatz |
On Rigorous Transaction Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(9), pp. 954-960, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
rigorous transaction scheduling, transaction scheduling mechanisms, transaction serialization order, commitment order, multidatabase system environment, analogous execution, serialization orders, rigorous schedulers, hierarchical transaction management mechanisms, global serializability, scheduling, distributed databases, concurrency control, transaction processing, database theory |
61 | Liliana Favre, Liliana Martinez, Claudia Pereira |
Transforming UML Static Models into Object-Oriented Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 170-181, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
UML static models, reuse based rigorous method, object oriented code generation, rigorous process, GSBL/sup OO/ language, SpReIm model, OCL specifications, object-oriented programming, software maintenance, software maintenance, specification languages, software reusability, program compilers, object-oriented languages, algebraic specification, algebraic specifications, reusable components, UML class diagrams, forward engineering, design artifacts |
55 | Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng |
Managing Complexity in Real-Time Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan, pp. 12-24, 2000, IEEE Computer Society, 0-7695-0583-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
complexity management, complexity categories, rigorous development, TROMLAB, rigorous framework, real-time systems, process model, software measurement, real time reactive systems, measurement methods |
54 | Jean-Raymond Abrial, Uwe Glässer |
06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
54 | Jean-Raymond Abrial, Uwe Glässer |
06191 Summary -- Rigorous Methods for Software Construction and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
47 | Elad Barkan, Eli Biham, Adi Shamir |
Rigorous Bounds on Cryptanalytic Time/Memory Tradeoffs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2006, 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006, Proceedings, pp. 1-21, 2006, Springer, 3-540-37432-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Time/memory tradeoff, time/memory/data tradeoff, hidden state, stateful random graph, Hellman, lower bound, Cryptanalysis, rigorous, Rainbow |
47 | Gernot Richter, Bruno Maffeo |
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(2), pp. 165-180, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
translation principles, rigorous interpretation, ESML, extended systems modeling language, graphics-based language, data flow diagram notation, transformation schema, token game, real-time systems, real-time systems, Petri nets, Petri nets, systems analysis, visual languages, control logic |
41 | Christian Jansson |
Rigorous Error Bounds for the Optimal Value of Linear Programming Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers, pp. 59-70, 2002, Springer, 3-540-20463-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
rigorous error bounds, linear programming, branch-and-bound, sensitivity analysis, interval arithmetic |
40 | Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (eds.) |
Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![Springer, 978-3-030-76019-9 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Richard Banach, Huibiao Zhu |
Moded and Continuous Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![In: Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 29-62, 2021, Springer, 978-3-030-76019-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Klaus-Dieter Schewe |
Computation on Structures - Behavioural Theory, Logic, Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![In: Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 266-282, 2021, Springer, 978-3-030-76019-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Emanuele Covino, Giovanni Pani |
Analysis of Mobile Networks' Protocols Based on Abstract State Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![In: Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 187-198, 2021, Springer, 978-3-030-76019-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Don S. Batory, Jeho Oh, Ruben Heradio, David Benavides 0001 |
Product Optimization in Stepwise Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![In: Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 63-81, 2021, Springer, 978-3-030-76019-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Matthes Elstermann, André Wolski, Albert Fleischmann, Christian Stary, Stephan Borgert |
The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![In: Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 283-300, 2021, Springer, 978-3-030-76019-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Stefan Bodenmüller, Gerhard Schellhorn, Martin Bitterlich, Wolfgang Reif |
Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![In: Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 239-265, 2021, Springer, 978-3-030-76019-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Flavio Ferrarotti, Senén González |
ASM Specification and Refinement of a Quantum Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![In: Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 135-146, 2021, Springer, 978-3-030-76019-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Andreas Prinz 0001 |
What is the Natural Abstraction Level of an Algorithm? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![In: Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 199-214, 2021, Springer, 978-3-030-76019-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Michael Leuschel |
Spot the Difference: A Detailed Comparison Between B and Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![In: Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 147-172, 2021, Springer, 978-3-030-76019-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner |
Semantic Splitting of Conditional Belief Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![In: Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 82-95, 2021, Springer, 978-3-030-76019-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
Language and Communication Problems in Formalization: A Natural Language Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![In: Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 121-134, 2021, Springer, 978-3-030-76019-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Jonathan P. Bowen |
Communities and Ancestors Associated with Egon Börger and ASM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![In: Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 96-120, 2021, Springer, 978-3-030-76019-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Wolf Zimmermann, Mandy Weißbach |
A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![In: Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 326-352, 2021, Springer, 978-3-030-76019-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Johann A. Makowsky |
Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![In: Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 173-186, 2021, Springer, 978-3-030-76019-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Bernhard Thalheim |
Models and Modelling in Computer Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![In: Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 301-325, 2021, Springer, 978-3-030-76019-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Klaus Ambos-Spies |
Some Observations on Mitotic Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![In: Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 14-28, 2021, Springer, 978-3-030-76019-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Yamine Aït Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh 0001 |
Towards Leveraging Domain Knowledge in State-Based Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![In: Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 1-13, 2021, Springer, 978-3-030-76019-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
The ASMETA Approach to Safety Assurance of Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Computation and Rigorous Methods ![In: Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 215-238, 2021, Springer, 978-3-030-76019-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Jean-Raymond Abrial, Uwe Glässer (eds.) |
Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![Springer, 978-3-642-11446-5 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Michael Leuschel, Dominique Cansell, Michael J. Butler |
Validating and Animating Higher-Order Recursive Functions in B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, pp. 78-92, 2009, Springer, 978-3-642-11446-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Sylvain Boulmé, Marie-Laure Potet |
Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a laSpec#. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, pp. 1-16, 2009, Springer, 978-3-642-11446-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Peter Müller 0001, Joseph N. Ruskiewicz |
A Modular Verification Methodology for C# Delegates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, pp. 187-203, 2009, Springer, 978-3-642-11446-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Jonathan P. Bowen, Michael G. Hinchey |
Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, pp. 219-233, 2009, Springer, 978-3-642-11446-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif |
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, pp. 93-110, 2009, Springer, 978-3-642-11446-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Ten Reasons to Metamodel ASMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, pp. 33-49, 2009, Springer, 978-3-642-11446-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack |
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, pp. 204-218, 2009, Springer, 978-3-642-11446-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Helen Treharne, Steve A. Schneider, Neil Grant, Neil Evans, Wilson Ifill |
A Step towards Merging xUML and CSP || {\| \ }B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, pp. 130-146, 2009, Springer, 978-3-642-11446-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Dominique Cansell, Dominique Méry |
Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, pp. 17-32, 2009, Springer, 978-3-642-11446-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma |
CoreASM Plug-In Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, pp. 147-169, 2009, Springer, 978-3-642-11446-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Markus Kirchberg, Klaus-Dieter Schewe, Jane Zhao |
Using Abstract State Machines for the Design of Multi-level Transaction Schedulers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, pp. 65-77, 2009, Springer, 978-3-642-11446-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Peggy Schmidt, Bernhard Thalheim |
Management of UML Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, pp. 111-129, 2009, Springer, 978-3-642-11446-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Vincenzo Gervasi, Roozbeh Farahbod |
JASMine: Accessing Java Code from CoreASM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, pp. 170-186, 2009, Springer, 978-3-642-11446-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Andreas Glausch, Wolfgang Reisig |
An ASM-Characterization of a Class of Distributed Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, pp. 50-64, 2009, Springer, 978-3-642-11446-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Michael Leuschel, Jens Bendisposto |
Animating and Model Checking B Specifications with Higher-Order Recursive Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
40 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Exploiting the ASM method within the Model-driven Engineering paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
40 | Jean-Raymond Abrial, Uwe Glässer (eds.) |
Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
40 | Malcolm Tyrrell, Andrew Butterfield, Alexis Donnelly |
OO-Motivated Process Algebra: A Calculus for CORBA-like Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Object-Oriented Methods ![In: Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000, 2000, BCS. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
40 | Joachim Fischer, Eckhardt Holz, Martin von Löwis, Andreas Prinz 0001 |
SDL-2000: A Language with a Formal Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Object-Oriented Methods ![In: Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000, 2000, BCS. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
40 | T. S. E. Maibaum |
An Overview of The Mensurae Language: Specifying Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Object-Oriented Methods ![In: Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000, 2000, BCS. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
40 | Anthony J. H. Simons |
On the Compositional Properties of UML Statechart Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Object-Oriented Methods ![In: Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000, 2000, BCS. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
40 | Tony Clark 0001 |
Object-Oriented Refinement and Proof using Behaviour Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Object-Oriented Methods ![In: Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000, 2000, BCS. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
40 | Pascal André, Annya Romanczuk, Jean-Claude Royer |
Checking the Consistency of UML Class Diagrams Using Larch Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Object-Oriented Methods ![In: Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000, 2000, BCS. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
40 | Annette Laue, Matthias Liedtke, Daniel Moldt, Ivana Trickovic |
Statecharts as Protocols for Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Object-Oriented Methods ![In: Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000, 2000, BCS. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
40 | Bogumila Hnatkowska, Zbigniew Huzar |
Extending the UML with a Multicast Synchronisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Object-Oriented Methods ![In: Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000, 2000, BCS. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
40 | Kevin Lano, Juan Bicarregui, Andy Evans |
Structured Axiomatic Semantics for UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Object-Oriented Methods ![In: Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000, 2000, BCS. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
40 | Shmuel Katz |
Rigorous Fault Tolerance Using Aspects and Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RODIN Book ![In: Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], pp. 226-240, 2006, Springer, 3-540-48265-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, formal methods, aspect orientation |
36 | Piotr Zgliczynski |
Rigorous Numerics for Dissipative Partial Differential Equations II. Periodic Orbit for the Kuramoto-Sivashinsky PDE-A Computer-Assisted Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 4(2), pp. 157-185, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Periodic orbit, Dissipative PDEs, Galerkin projection, Rigorous numerics |
34 | Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky |
Rigorous Development of Fault-Tolerant Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RODIN Book ![In: Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], pp. 241-260, 2006, Springer, 3-540-48265-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Divakar Yadav, Michael J. Butler |
Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RODIN Book ![In: Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], pp. 343-363, 2006, Springer, 3-540-48265-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Myong H. Kang, Judith N. Froscher, Ira S. Moskowitz |
A framework for MLS interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 198-205, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
MLS interoperability framework, distributed object oriented computing, location independence, MLS products, rigorous evaluation/certification procedures, security critical components, MLS architectural framework, security critical components/functions, secure use, parallel programming, software reuse, component based development, legacy systems, multilevel security, architectural framework, computing paradigm |
31 | Dehui Du, Jing Liu 0012, Honghua Cao |
A Rigorous Model of Contract-Based Service Component Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 409-412, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Andy Georges, Dries Buytaert, Lieven Eeckhout |
Statistically rigorous java performance evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 57-76, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
java, benchmarking, methodology, statistics, data analysis |
28 | Colin F. Snook, Michael Poppleton, Ian Johnson |
Towards a Method for Rigorous Development of Generic Requirements Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RODIN Book ![In: Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], pp. 326-342, 2006, Springer, 3-540-48265-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Richard F. Paige, Jonathan S. Ostroff |
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 192-206, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
27 | Vangalur S. Alagar, L. Zhang |
Automatic code generation for real-time reactive systems in TROMLAB environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 503-510, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
TROMLAB environment, rigorous framework, railroad crossing problem, benchmark example, generic real time Java libraries, Java code, Java, real-time systems, program compilers, automatic programming, software libraries, automatic code generation, real time reactive systems, implementation model |
27 | William G. Howerton, Michael G. Hinchey |
Using the Right Tool for the Job. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan, pp. 105-, 2000, IEEE Computer Society, 0-7695-0583-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
integration phases, development technique, informal specification techniques, abstract highly structured models, rigorous analysis, Air Force Weather Agency Standard Degribber, meteorological system, data decoding/encoding, World Meteorological Organization, standard Gridded Binary format, state based issues, complete specification, tool box approach, UML, formal specification, formal methods, semantics, software specification, specification technique, formal notation, modular approach, component specification, complex systems development |
27 | Jean-Pierre Jacquot, A. Valdenaire |
Trading legibility against implementability in requirement specifications: an experimental assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: Second IEEE International Symposium on Requirements Engineering, March 27 - 29, 1995, York, England, UK, pp. 181-189, 1995, IEEE Computer Society, 0-8186-7017-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
experimental assessment, elisions, flexible syntaxes, incomplete texts, GLIDER, rigorous assessment, term parsing, human factor features, formal specification, formal specifications, specification languages, specification language, requirement specifications, grammars |
27 | John C. Knight, Bev Littlewood |
Guest Editors' Introduction: Critical Task of Writing Dependable Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(1), pp. 16-20, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
dependable software, rigorous techniques, mathematical techniques, program writing, programming, software reliability, safety, safety-critical software |
27 | Ramin Mojdehbakhsh, Wei-Tek Tsai, Shekhar H. Kirani, Lynn Elliott |
Retrofitting Software Safety in an Implantable Medical Device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(1), pp. 41-50, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
retrofitting, cardiac rhythm management device, regulatory agencies, rigorous software safety analysis technique, safety faults, software modification, software reliability, safety, legislation, medical computing, prosthetics, safety verification, implantable medical device, pacemakers |
27 | 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 |
26 | Jeff Kramer, Jeff Magee |
A Rigorous Architectural Approach to Adaptive Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 24(2), pp. 183-188, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
software architecture, adaptive systems, autonomic systems, self-managed systems |
26 | Pete P. Janes, Alistair P. Rendell |
Including Rigorous Numerical Bounds in Quantum Chemistry Calculations: Gaussian Integral Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE ![In: Proceedings of the 11th IEEE International Conference on Computational Science and Engineering, CSE 2008, São Paulo, SP, Brazil, July 16-18, 2008, pp. 75-82, 2008, IEEE Computer Society, 978-0-7695-3193-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Error analysis, Interval arithmetic, Chemistry |
26 | François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant |
Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AB ![In: Algebraic Biology, Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings, pp. 56-64, 2008, Springer, 978-3-540-85100-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Christian Keil, Christian Jansson |
Computational Experience with Rigorous Error Bounds for the Netlib Linear Programming Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 12(4), pp. 303-321, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Droste |
A rigorous analysis of the compact genetic algorithm for linear functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 5(3), pp. 257-283, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
runtime, theoretical analysis, compact genetic algorithm |
26 | Florian Forster |
Cost and benefit of rigorous decoupling with context-specific interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, PPPJ 2006, Mannheim, Germany, August 30 - September 1, 2006, pp. 23-30, 2006, ACM, 3-939352-05-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Java-specific metrics, software engineering with Java, the Java language, tools for Java programming, optimization |
26 | Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ridge, Peter Sewell |
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: Proceedings of the 14th IEEE International Conference on Network Protocols, ICNP 2006, November 12-15, 2006, Santa Barbara, California, USA, pp. 117-126, 2006, IEEE Computer Society, 1-4244-0593-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Jeff Kramer |
Distributed Software Engineering: a Rigorous Architectural Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China, pp. 7-9, 2006, IEEE Computer Society, 0-7695-2718-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Joshua D. Guttman, Amy L. Herzog |
Rigorous automated network security management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 4(1-2), pp. 29-48, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Filtering routers, IP security protocols, Formal methods, Network security, Security management |
26 | 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 |
26 | Erik Rosenthal |
Formal Versus Rigorous Mathematics: How to Get Your Papers Published. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings, pp. 15-32, 2005, Springer, 3-540-28931-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
nature of proof, rigor, formal mathematics |
26 | Timothy J. Hickey, David K. Wittenberg |
Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings, pp. 402-416, 2004, Springer, 3-540-21259-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Shaoying Liu |
An Automated Rigorous Review Method for Verifying and Validating Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings, pp. 15-19, 2004, Springer, 3-540-23610-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Michela Farenzena, Alessandro Busti, Andrea Fusiello, Arrigo Benedetti |
Rigorous Accuracy Bounds for Calibrated Stereo Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (4) ![In: 17th International Conference on Pattern Recognition, ICPR 2004, Cambridge, UK, August 23-26, 2004., pp. 288-292, 2004, IEEE Computer Society, 0-7695-2128-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Joshua J. Yi, David J. Lilja, Douglas M. Hawkins |
A Statistically Rigorous Approach for Improving Simulation Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: Proceedings of the Ninth International Symposium on High-Performance Computer Architecture (HPCA'03), Anaheim, California, USA, February 8-12, 2003, pp. 281-291, 2003, IEEE Computer Society, 0-7695-1871-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Shaoying Liu |
Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand, pp. 510-519, 2003, IEEE Computer Society, 0-7695-2011-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Warwick Tucker |
A Rigorous ODE Solver and Smale's 14th Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 2(1), pp. 53-117, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Regine Laleau, Fiona Polack |
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings, pp. 517-534, 2002, Springer, 3-540-43166-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Vangalur S. Alagar, Mao Zheng |
A Rigorous Method for Testing Real-Time Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 213-220, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Gwendolyn H. Walton |
Developing and Verifying Rigorous Specifications with Viewpoints, Use Cases, and Sequence-based Specification Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, 2000, IEEE Computer Society, 0-7695-0493-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Arnon Rosenthal, David S. Reiner |
Tools and Transformations - Rigorous and Otherwise - for Practical Database Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 19(2), pp. 167-211, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
applications of database theory, data model translation, database equivalence, heuristics, normalization, database design, computer-aided software engineering, entity-relationship model, view integration, design heuristics |
22 | Fumiko Nagoya, Shaoying Liu, Yuting Chen |
A Tool and Case Study for Specification-Based Program Review. ![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. 375-380, 2005, IEEE Computer Society, 0-7695-2413-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Rigorous review, verification, formal specifications, inspection |
22 | Zasha Weinberg, Walter L. Ruzzo |
Faster genome annotation of non-coding RNA families without loss of accuracy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Eighth Annual International Conference on Computational Molecular Biology, 2004, San Diego, California, USA, March 27-31, 2004, pp. 243-251, 2004, ACM, 1-58113-755-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
covariance models, gene families, genome annotation, histone downstream element, hyperthermophile archaea snoRNA, iron response element, rigorous filter, profile hidden Markov models, non-coding RNA |
22 | John Oliensis |
A Multi-Frame Structure-from-Motion Algorithm under Perspective Projection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 34(2-3), pp. 163-192, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
multi-frame structure from motion, two-frame algorithms, partial calibration, rigorous results, experiments, reconstruction, structure from motion, perspective, orthographic projection, shape from X, optimal estimation, bas-relief ambiguity |
22 | Walter Krämer |
A Priori Worst Case Error Bounds for Floating-Point Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 47(7), pp. 750-756, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Rigorous error bounds, table-lookup algorithms, elementary function algorithms, automation of error analysis |
22 | Byung Suk Lee 0001, Gio Wiederhold |
Outer Joins and Filters for Instantiating Objects from Relational Databases Through Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(1), pp. 108-119, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
outer joins, view queries, left outer joins, inner joins, selection conditions, view definition, rigorous system model, null options, object instantiation, semantics, object-oriented programming, object-oriented programs, query processing, relational databases, relational databases, filters, relational algebra, tuples, information loss, object attribute |
22 | David J. Aldous, Umesh V. Vazirani |
"Go With the Winners" Algorithms ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 35th Annual Symposium on Foundations of Computer Science, Santa Fe, New Mexico, USA, 20-22 November 1994, pp. 492-501, 1994, IEEE Computer Society, 0-8186-6580-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
worst case running time, Go with the winners, randomized optimization algorithms, rigorous analysis, deep leaf, probability of success, searching, tree, worst-case |
20 | Hung X. Nguyen, Matthew Roughan |
Rigorous statistical analysis of internet loss measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: SIGMETRICS 2010, Proceedings of the 2010 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, New York, New York, USA, 14-18 June 2010, pp. 361-362, 2010, ACM, 978-1-4503-0038-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
performance measurement, accuracy, loss rate |
20 | Mauricio Chui Rodrigues, Simon Malkowski, João Eduardo Ferreira |
Implementing rigorous web services with process algebra: navigation plan for web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 625-631, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
web services, workflow, implementation, software, process algebra, BPEL |
20 | Kenneth J. Turner, Koon Leai Larry Tan |
A Rigorous Methodology for Composing Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, pp. 165-180, 2009, Springer, 978-3-642-04569-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | David Robert White, Simon M. Poulding |
A Rigorous Evaluation of Crossover and Mutation in Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroGP ![In: Genetic Programming, 12th European Conference, EuroGP 2009, Tübingen, Germany, April 15-17, 2009, Proceedings, pp. 220-231, 2009, Springer, 978-3-642-01180-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 3560 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|