|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1392 occurrences of 688 keywords
|
|
|
Results
Found 810 publication records. Showing 810 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
47 | Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek (eds.) |
Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation with Parallelism and Persistence ![Kluwer Academic Publishers, 0-7923-9770-3 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
47 | Jean-Marc Andreoli |
Coordination as Negotiated Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation with Parallelism and Persistence ![In: Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), pp. 151-173, 1995, Kluwer Academic Publishers, 0-7923-9770-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
47 | Jürgen Schlegelmilch |
Role-Based Persistence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation with Parallelism and Persistence ![In: Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), pp. 175-195, 1995, Kluwer Academic Publishers, 0-7923-9770-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
47 | Grit Denker |
Semantic Refinement of Concurrent Object Systems Based on Serializability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation with Parallelism and Persistence ![In: Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), pp. 105-126, 1995, Kluwer Academic Publishers, 0-7923-9770-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
47 | Matthias Radestock, Susan Eisenbach |
An Object Model for Distributed and Concurrent Programming Based on Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation with Parallelism and Persistence ![In: Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), pp. 63-82, 1995, Kluwer Academic Publishers, 0-7923-9770-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
47 | Bart Jacobs 0001 |
Objects and Classes, Co-Algebraically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation with Parallelism and Persistence ![In: Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), pp. 83-103, 1995, Kluwer Academic Publishers, 0-7923-9770-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
47 | Steve J. Hodges, Cliff B. Jones |
Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation with Parallelism and Persistence ![In: Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), pp. 1-22, 1995, Kluwer Academic Publishers, 0-7923-9770-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
47 | Haiyan Hasse-Ye, Hans-Jörg Schek |
Unified Theory for Classical and Advanced Transaction Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation with Parallelism and Persistence ![In: Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), pp. 127-150, 1995, Kluwer Academic Publishers, 0-7923-9770-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
47 | Peter Thanisch, Michael G. Norman |
There's Nothing Like Shared Nothing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation with Parallelism and Persistence ![In: Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), pp. 217-230, 1995, Kluwer Academic Publishers, 0-7923-9770-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
47 | Dimitris Tombros, Andreas Geppert, Klaus R. Dittrich |
Design and Implementation of Process-Oriented Environments with Brokers and Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation with Parallelism and Persistence ![In: Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), pp. 197-216, 1995, Kluwer Academic Publishers, 0-7923-9770-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
47 | Uwe Nestmann, Martin Steffen |
Correct Transformational Design of Concurrent Search Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation with Parallelism and Persistence ![In: Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), pp. 23-42, 1995, Kluwer Academic Publishers, 0-7923-9770-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
47 | Ulrike Lechner, Christian Lengauer |
Modal-µ-Maude: Specification and Properties of Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation with Parallelism and Persistence ![In: Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), pp. 43-62, 1995, Kluwer Academic Publishers, 0-7923-9770-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
47 | Peter John Whysall |
Z Expression of Refinable Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation in Z ![In: Object Orientation in Z, pp. 29-35, 1992, Springer, 3-540-19778-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
47 | Alan Wills |
Specification in Fresco. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation in Z ![In: Object Orientation in Z, pp. 127-135, 1992, Springer, 3-540-19778-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
47 | Antonio J. Alencar, Joseph A. Goguen |
OOZE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation in Z ![In: Object Orientation in Z, pp. 79-94, 1992, Springer, 3-540-19778-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
47 | |
Example Specification in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation in Z ![In: Object Orientation in Z, pp. 7-17, 1992, Springer, 3-540-19778-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
47 | |
Z and HOOD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation in Z ![In: Object Orientation in Z, pp. 137-138, 1992, Springer, 3-540-19778-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
47 | |
Hall's Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation in Z ![In: Object Orientation in Z, pp. 19-28, 1992, Springer, 3-540-19778-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
47 | Gordon A. Rose |
Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation in Z ![In: Object Orientation in Z, pp. 59-77, 1992, Springer, 3-540-19778-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
47 | Elspeth Cusack, G.-H. Bagherzadeh Rafsanjani |
ZEST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation in Z ![In: Object Orientation in Z, pp. 113-126, 1992, Springer, 3-540-19778-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
47 | |
Schuman & Pitt Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation in Z ![In: Object Orientation in Z, pp. 95-104, 1992, Springer, 3-540-19778-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
47 | Silvio Romero de Lemos Meira, Ana Cavalcanti 0001 |
MooZ Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation in Z ![In: Object Orientation in Z, pp. 37-58, 1992, Springer, 3-540-19778-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
47 | |
Why an Object Oriented Z? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation in Z ![In: Object Orientation in Z, pp. 1-5, 1992, Springer, 3-540-19778-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
47 | Kevin Lano |
Z++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Orientation in Z ![In: Object Orientation in Z, pp. 105-112, 1992, Springer, 3-540-19778-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
47 | Ioannis T. Kassios |
Decoupling in Object Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 43-58, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
specification and refinement, object orientation |
44 | Carl Alphonce, Phil Ventura |
Object orientation in CS1-CS2 by design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 7th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2002, Aarhus, Denmark, June 24-28, 2002, pp. 70-74, 2002, ACM, 1-58113-499-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
pedagogical approaches, design, UML, object-orientation, CS1, CS2 |
41 | John Lewis |
Myths about object-orientation and its pedagogy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2000, Austin, Texas, USA, March 7-12, 2000, pp. 245-249, 2000, ACM, 1-58113-213-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
pedagogical approaches, Java, object-orientation, CS1 |
39 | Cédric Ulmer, Gabriel Serme, Yohann Bonillo |
Enabling web object orientation with mobile devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobility Conference ![In: Proceedings of the 6th International Conference on Mobile Technology, Applications, and Systems, Mobility Conference 2009, Nice, France, September 2-4, 2009, 2009, ACM, 978-1-60558-536-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
WSDL 2.0, web object orientation, mobility, REST, lightweight |
39 | Christian Holmboe |
A cognitive framework for knowledge in informatics: the case of object-orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 4th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 1999, Cracow, Poland, 27-30 June, 1999, pp. 17-20, 1999, ACM, 1-58113-087-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
skills/understanding, object-orientation, constructivism |
39 | Yuyan Wu, S. Sitharama Iyengar, Ramesh C. Jain, Santanu Bose |
A New Generalized Computational Framework for Finding Object Orientation Using Perspective Trihedral Angle Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(10), pp. 961-975, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
generalized computational framework, perspective trihedral angle constraint, three-dimensional 3D object, single perspective image view, Kanatani's formulation, general analytic technique, shape from inverse perspective projection, angle to angle correspondence information, computer vision, object orientation, noise, closed form solution, simulation experiments, synthetic data, noisy environment |
38 | Dominic A. Orchard, Steve Matthews |
Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 2(1), pp. 103-122, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
intensional objects, Semantics, interoperation, object orientation, dataflow, intensional programming |
38 | Robert J. T. Morris, Larry D. Rubin, Henry Tirri |
Neural Network Techniques for Object Orientation Detection: Solution by Optimal Feedforward Network and Learning Vector Quantization Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(11), pp. 1107-1115, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
symbol orientation, mark orientation, object orientation detection, optimal feedforward network, high-dimensional classification problem, optimal Bayesian detector, parallel structure, learning vector quantization neural network, pattern recognition, computer-vision, computer vision, character recognition, computerised pattern recognition, neural nets, learning systems, learning vector quantization, automatic optical inspection, automatic inspection |
37 | Anders Brun, Carl-Fredrik Westin, Steven Haker, Hans Knutsson |
A tensor-like representation for averaging, filtering and interpolation of 3-D object orientation data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings of the 2005 International Conference on Image Processing, ICIP 2005, Genoa, Italy, September 11-14, 2005, pp. 1092-1095, 2005, IEEE, 0-7803-9134-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Michael E. Caspersen, Jürgen Börstler, Adrienne Decker, Carl Alphonce |
Worked examples for sound object-oriented pedagogy: a "killer" workshop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 869-870, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
worked examples, learning, object-orientation, programming, pedagogy, teaching |
34 | Michael Christensen 0002, Andy Crabtree, Christian Heide Damm, Klaus Marius Hansen, Ole Lehrmann Madsen, Pernille Marqvardsen, Preben Mogensen 0002, Elmer Sandvad, Lennert Sloth, Michael Thomsen |
The M.A.D. Experience: Multiperspective Application Development in evolutionary prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings, pp. 13-40, 1998, Springer, 3-540-64737-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Large-scale system development, multiperspective application development, evolutionary prototyping, OO-tools, object-orientation, ethnography, rapid prototyping, experience report, cooperative design |
33 | Mohammad H. N. Tabrizi, Carol B. Collins, E. Ozan, K. Li |
Implementation of object-orientation using UML in entry level software development courses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 5th Conference on Information Technology Education, SIGITE 2004, 2004, Salt Lake City, UT, USA, October 28-30, 2004, pp. 128-131, 2004, ACM, 1-58113-936-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML, object-orientation, CS1, problem solving, visual design |
33 | Michael H. Goldwasser, David Letscher |
Teaching an object-oriented CS1 -: with Python. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2008, Madrid, Spain, June 30 - July 2, 2008, pp. 42-46, 2008, ACM, 978-1-60558-078-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
object orientation, cs1, python |
33 | Bernhard Beckert, André Platzer |
Dynamic Logic with Non-rigid Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 266-280, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
logical foundations of programming languages, object-orientation, software verification, Dynamic logic, sequent calculus, program logic |
31 | Dale Skrien, Michael E. Caspersen, Jürgen Börstler, Adrienne Decker, Carl Alphonce |
Good examples for exposing bad practice: a "killer examples" workshop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 711-712, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
learning, object-orientation, programming, pedagogy, process, teaching |
31 | James Noble 0001 |
The Myths of Object-Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings, pp. 619-629, 2009, Springer, 978-3-642-03012-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Jifeng He 0001, Zhiming Liu 0001, Xiaoshan Li, Shengchao Qin |
A Relational Model for Object-Oriented Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings, pp. 415-436, 2004, Springer, 3-540-23724-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UTP, Semantics, Object Orientation, Refinement |
30 | Mirko Raner |
Teaching object-orientation with the Object Visualization and Annotation Language (OVAL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2000, Helsinki, Finland, June 11-13, 2000, pp. 45-48, 2000, ACM, 1-58113-207-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Andreas Gal, Olaf Spinczyk, Darío Álvarez Gutiérrez |
Object-Orientation and Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP 2002 Workshops and Posters, Málaga, Spain, June 10-14, 2002, Proceedings, pp. 174-183, 2002, Springer, 3-540-00233-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Eugene Kindler |
SIMULA and Super-Object-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays in Memory of Ole-Johan Dahl ![In: From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl, pp. 165-182, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Tosiyasu L. Kunii, Takao Maeda |
On The Silhouette Cartoon Animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CA ![In: Computer Animation 1996, CA 1996, Geneva, Switzerland, June 3-4, 1996, pp. 110-117, 1996, IEEE Computer Society, 0-8186-7588-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
silhouette cartoon animation, human visual cognition, object movement, shape characteristics, dolphin, orientation independent invariants, convex portion, concave portions, user interfaces, computational geometry, computational geometry, human factors, graph, computer animation, computer animation, entertainment, visual perception, research, object identification, swimming, jumping |
28 | Nuno Amálio, Fiona Polack, Susan Stepney |
An Object-Oriented Structuring for Z Based on Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 262-278, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
object-orientation, Z |
28 | Rachel Or-Bach, Ilana Lavy |
Cognitive activities of abstraction in object orientation: an empirical study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 36(2), pp. 82-86, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
object-oriented programming, abstraction, object-oriented design, inheritance, task analysis |
28 | Manfred Broy |
Distributed Concurrent Object-Oriented Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays in Memory of Ole-Johan Dahl ![In: From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl, pp. 83-95, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Lutz Wohlrab, Francisco J. Ballesteros, Frank Schubert 0001, Henning Schmidt, Ashish Singhai |
Object-Orientation and Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings, pp. 22-32, 1999, Springer, 3-540-66954-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | G. Aditya Kiran, S. Haripriya, Pankaj Jalote |
Effect of Object Orientation on Maintainability of Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1997 International Conference on Software Maintenance (ICSM '97), 1-3 October 1997, Bari, Italy, Proceedings, pp. 114-121, 1997, IEEE Computer Society, 0-8186-8013-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Philip T. Cox |
Using Object-Orientation to Implement Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSMALL/PC Symposium ![In: Proceedings of the 1990 ACM SIGSMALL/PC Symposium on Small Systems, March 28-30, 1990. Crystal City, VA, USA, pp. 106-114, 1990, ACM, 0-89791-347-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
PROGRAPH, Prolog |
28 | Jeffrey Overbey, Brian Foote, Paul Adamczyk, Jonathan Aldrich, Elisa L. A. Baniassad, Christian Grothoff, Arvind Krishna, Sean McDirmid, Todd D. Millstein, Alex Potanin, Mandana Vaziri |
Young guns/object orientation: the next generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 940-942, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
object orientation |
28 | Volker Luckas, Ralf Dörner 0001 |
Experience form the future - using object-orientation concepts for 3D visualization and validation of industrial scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 32(1es), pp. 38, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
animation element, simulation, object-orientation, automation, 3D visualization |
28 | Lars Büttner, Jens Gerlach |
Load-balancing and object-orientation: a case study from mesoscale flow modelling. ![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. 114-121, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
atmospheric movements, geophysical fluid dynamics, mesoscale flow modelling, atmospheric circulation, object-oriented design techniques, large data parallel applications, object-parallelism, object-oriented environment, parallel operating systems, object level, object-oriented redesign, simulation program, load-balancing, load balancing, parallel processing, parallel programming, parallel computers, object-oriented programming, object-orientation, resource allocation, case study, parallel machines, scientific computing, meteorology, load imbalances |
28 | Hanns-Helmuth Deubler, Meinhard Koestler |
Introducing Object Orientation into Large and Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(11), pp. 840-848, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
operating system BS2000, object-oriented parts, parallel usage, monolithic structure, object-oriented programming, OOP, object orientation, complex systems, system architecture, systems architecture, operating systems (computers), structured programming, object-oriented paradigm, large software systems, object-oriented technique, implementation languages |
27 | Bin Zhang 0002, Xinggang Lin, Qingmin Liao |
An Object-Oriented System Architecture of General Image Processing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 688-691, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Image Processing System, Object Orientation, System Architecture, Object-Oriented Data Model |
27 | Marcus Tangermann, Christian Schwab, Arndt Lüder |
Aspect orientation and object orientation of control application code for distributed control systems in TORERO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2005, Catania, Italy, 2005, IEEE, 0-7803-9401-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Stelios Krinidis, Vassilios Chatzis |
Frequency-based object orientation and scaling determination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Jacky Akoka |
Conceptual Design of Parallel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conceptual Modeling ![In: Conceptual Modeling, Current Issues and Future Directions, Selected Papers from the Symposium on Conceptual Modeling, Los Angeles, California, USA, held before ER'97, pp. 1-23, 1997, Springer, 3-540-65926-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
parallelism, concurrency, data model, object, design method, message |
27 | Bob Kowalski 0001 |
Computational Logic in an Object-Oriented World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning, Action and Interaction in AI Theories and Systems ![In: Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello, pp. 59-82, 2006, Springer, 3-540-37901-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
object-orientation, logic programming, Linda |
27 | Kouichi Kishida |
Looking Back to the Future: Thoughts on Paradigm Shift in Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 1-6, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
philosophical thoughts, software engineering, formal method, object orientation, paradigm shift |
26 | Takahiro Inoue, Shinichi Hirai |
A two-phased object orientation controller on soft finger operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 2528-2533, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Manfred Broy |
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architecting Systems with Trustworthy Components ![In: Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, pp. 26-47, 2004, Springer, 3-540-35800-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Maarten Boasson |
Embedded Systems Unsuitable for Object Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, pp. 1-12, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Henry Schneiderman, Takeo Kanade |
Object Detection Using the Statistics of Parts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 56(3), pp. 151-177, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
car detection, machine learning, classification, pattern recognition, computer vision, object recognition, wavelets, face detection, statistics, object detection |
26 | Dale Skrien, Carl Alphonce, Adrienne Decker, Jürgen Börstler, Michael E. Caspersen |
The eighth "killer examples" workshop: good examples for exposing bad practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 777-778, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
learning, object-orientation, programming, pedagogy, process, teaching |
26 | Michael H. Goldwasser, David Letscher |
Teaching object-oriented programming in python. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2007, Dundee, Scotland, UK, June 25-27, 2007, pp. 365-366, 2007, ACM, 978-1-59593-610-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
object-orientation, CS1, python |
26 | Twan Basten, Wil M. P. van der Aalst |
Inheritance of Dynamic Behavior: Development of a Groupware Editor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrent Object-Oriented Programming and Petri Nets ![In: Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets., pp. 391-405, 2001, Springer, 3-540-41942-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
computer supported cooperative work (CSCW), Petri nets, object orientation, inheritance, dynamic behavior, object life cycle |
26 | Fábio Porto 0001, Sergio E. R. de Carvalho, Mauricio J. V. de Silva, Rubens N. Melo |
Persistent Object Synchronization with Active Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 53-62, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
active relational databases, state synchronization, object orientation, data replication, object cache, stored procedures |
26 | Carlos Herrero, Javier Oliver 0001 |
Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings, pp. 395-403, 1999, Springer, 3-540-66694-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Extensions of $lambda$-calculus, Concurrency, Object-Orientation, Process Algebra |
26 | Michael Kölling, John Rosenberg |
Support for Object-Oriented Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (28) ![In: TOOLS 1998: 28th International Conference on Technology of Object-Oriented Languages and Systems, 23-26 November 1998, Melbourne, Australia, pp. 204-215, 1998, IEEE Computer Society, 0-7695-0053-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
testing, object-orientation, software engineering tools |
26 | Wil M. P. van der Aalst, Twan Basten |
Life-Cycle Inheritance: A Petri-Net-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings, pp. 62-81, 1997, Springer, 3-540-63139-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Petri nets, Object orientation, Inheritance, Workflow management, Object life cycle |
26 | Zair Abdelouahab, Peter M. Dew |
Programming concurrency and synchronisation in Actel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 189-, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Actel, concurrent object based language, performance, concurrency, object orientation, message passing, synchronisation, object-oriented languages, parallel languages |
25 | Jean-Pierre Rosen |
Object Orientation in Critical Systems: Yes, in Moderation - Position Paper for the DO178C and Object-Orientation for Critical Systems Panel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings, pp. 214-218, 2011, Springer, 978-3-642-21337-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Ole-Johan Dahl |
The Birth of Object Orientation: the Simula Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays in Memory of Ole-Johan Dahl ![In: From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl, pp. 15-25, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Walter G. Fil |
Whither object orientation? What is object orientation, anyway? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGAPL APL Quote Quad ![In: ACM SIGAPL APL Quote Quad 30(2), pp. 3-6, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Lingfeng Wang |
Using Object-Orientation in Developing a Flexible Automatic Test System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (36) ![In: TOOLS Asia 2000: 36th International Conference on Technology of Object-Oriented Languages and Systems, Xi'an, China, 30 October - 4 November 2000, pp. 65-72, 2000, IEEE Computer Society, 0-7695-0875-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Stefano Ceri, Filippo Cacace, Letizia Tanca |
Object Orientation and Logic Programming for Databases: A Season's Flirt or Long-Term Marriage? ![Search on Bibsonomy](Pics/bibsonomy.png) |
East/West Database Workshop ![In: Next Generation Information System Technology, First Interational East/West Data Base Workshop, Kiev, USSR, October 9-12, 1990, Proceedings, pp. 124-143, 1990, Springer, 3-540-54141-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Norberto Ezquerra, Rakesh Mullick |
An Approach to 3D Pose Determination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 15(2), pp. 99-120, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
axis of orientation, orientation determination, geometry, pose determination |
24 | Quan Long, Zongyan Qiu, Zhiming Liu 0001, Lingshuang Shao, Jifeng He 0001 |
POST: A Case Study for an Incremental Development in rCOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, pp. 485-500, 2005, Springer, 3-540-29107-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UML, Object-orientation, Refinement, Refactoring, Software design |
24 | Seunghoon Choi, Chisu Wu |
Partitioning and Allocation of Objects in Heterogeneous Distributed Environments Using the Niched Pareto Genetic-Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 5th Asia-Pacific Software Engineering Conference (APSEC '98), 2-4 December 1998, Taipei, Taiwan, ROC, pp. 322-329, 1998, IEEE Computer Society, 0-8186-9183-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Heterogeneous Distributed Environments, the Niched Pareto Genetic Algorithm, Load Balance, Concurrency, Object-orientation, Partitioning, Allocation, Communication Cost, Graph-theoretic Approach |
24 | Ulrike Lechner |
Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 171-187, 1998, Springer, 3-540-64303-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Concurrency, Object orientation, Reuse, Interpretation, Rewriting, ?-calculus, Maude, Inheritance Anomaly |
23 | Rob G. J. Wijnhoven, Peter H. N. de With |
Experiments with patch-based object classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVSS ![In: Fourth IEEE International Conference on Advanced Video and Signal Based Surveillance, AVSS 2007, 5-7 September, 2007, Queen Mary, University of London, London, United Kingdom, pp. 105-110, 2007, IEEE Computer Society, 978-1-4244-1695-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Yuri Leontiev, M. Tamer Özsu, Duane Szafron |
On type systems for object-oriented database programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 34(4), pp. 409-449, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
OODB, OODBPL, object-oriented database programming language, typing, type checking |
22 | Stefan Wappler, Ina Schieferdecker |
Improving evolutionary class testing in the presence of non-public methods. ![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. 381-384, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
object-orientation, unit testing, encapsulation, evolutionary testing |
22 | Sueli de Fátima Poppi Borba, Aran Bey Tcholakian Morales |
Extending the UML for Dimensional Models in Object-Oriented Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 22-26 August 2005, Copenhagen, Denmark, pp. 1150-1154, 2005, IEEE Computer Society, 0-7695-2424-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Database, object-orientation, dimensional modeling |
22 | Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis |
The OsMoSys approach to multi-formalism modeling of systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 3(1), pp. 68-81, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Multi-formalism modeling, Object orientation, Compositionality, Meta-languages |
22 | Zhiming Liu 0001, Jifeng He 0001, Xiaoshan Li, Yifeng Chen |
A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 641-664, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
UML, Object-orientation, conceptual models, use-cases, requirement specification |
22 | Carl Alphonce, Phil Ventura |
Using graphics to support the teaching of fundamental object-oriented principles in CS1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 156-161, 2003, ACM, 1-58113-751-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
NGP, Java, object-orientation, CS1, graphics |
22 | H. M. W. Verbeek, Twan Basten |
Deciding Life-Cycle Inheritance on Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 44-63, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
life-cycle inheritance, branching bisimilarity, T-invariants, Petri nets, workflow, Object-orientation, backtracking, structural properties |
22 | César F. Acebal, Raúl Izquierdo Castanedo, Juan Manuel Cueva Lovelle |
Good design principles in a compiler university course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 37(4), pp. 62-73, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
JJTree, object orientation, design patterns, interpreter, compiler design, JavaCC |
22 | Zhiming Liu 0001, Xiaoshan Li, Jifeng He 0001 |
Using Transition Systems to Unify UML Models. ![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. 535-547, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML, Object-orientation, Conceptual model, Transition systems, Use-case model |
22 | Rick van Rein |
Specifying Processes with Dynamic Life Cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 12th International Conference CAiSE 2000, Stockholm, Sweden, June 5-9, 2000, Proceedings, pp. 192-211, 2000, Springer, 3-540-67630-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
polymorphic creation and deletion, communication, object orientation, conceptual modelling, process algebra, life cycles, component composition, state diagrams |
22 | Rallis Farfarakis |
Octopus/UML: Combining Objects with Real-Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 479-489, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Octopus, UML, real-time, object-orientation, method |
22 | Cristina Videira Lopes, Karl J. Lieberherr |
Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994, pp. 81-99, 1994, Springer, 3-540-58202-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
adaptiveness, Concurrency, synchronization, object-orientation, reusability |
22 | Sathyanarayanan Subbiah, Srikanth Nagaraj |
Issues with Object Orientation in Verifying Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 14-16 May 2003, Hakodate, Hokkaido, Japan, pp. 99-104, 2003, IEEE Computer Society, 0-7695-1928-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Hong Zhu 0002, David E. Lightfoot |
Caste: A Step beyond Object Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JMLC ![In: Modular Programming Languages, Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings, pp. 59-62, 2003, Springer, 3-540-40796-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Tom Mens, Kim Mens, Patrick Steyaert |
OPUS: a Formal Approach to Object-Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings, pp. 326-345, 1994, Springer, 3-540-58555-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Richard C. Holt |
Introducing undergraduates to object orientation using the Turing language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1994, Phoenix, Arizona, USA, March 10-12, 1994, pp. 324-328, 1994, ACM, 0-89791-646-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
TURING |
21 | Zoltan-Csaba Marton, Serkan Türker, Christian Rink, Manuel Brucker, Simon Kriegel, Tim Bodenmüller, Sebastian Riedel 0002 |
Improving object orientation estimates by considering multiple viewpoints - Orientation histograms of symmetries and measurement models for view selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 42(2), pp. 423-442, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 810 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|