|
|
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) |
Object Orientation with Parallelism and Persistence |
1996 |
DBLP BibTeX RDF |
|
47 | Jean-Marc Andreoli |
Coordination as Negotiated Transactions. |
Object Orientation with Parallelism and Persistence |
1995 |
DBLP BibTeX RDF |
|
47 | Jürgen Schlegelmilch |
Role-Based Persistence. |
Object Orientation with Parallelism and Persistence |
1995 |
DBLP BibTeX RDF |
|
47 | Grit Denker |
Semantic Refinement of Concurrent Object Systems Based on Serializability. |
Object Orientation with Parallelism and Persistence |
1995 |
DBLP BibTeX RDF |
|
47 | Matthias Radestock, Susan Eisenbach |
An Object Model for Distributed and Concurrent Programming Based on Decomposition. |
Object Orientation with Parallelism and Persistence |
1995 |
DBLP BibTeX RDF |
|
47 | Bart Jacobs 0001 |
Objects and Classes, Co-Algebraically. |
Object Orientation with Parallelism and Persistence |
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. |
Object Orientation with Parallelism and Persistence |
1995 |
DBLP BibTeX RDF |
|
47 | Haiyan Hasse-Ye, Hans-Jörg Schek |
Unified Theory for Classical and Advanced Transaction Models. |
Object Orientation with Parallelism and Persistence |
1995 |
DBLP BibTeX RDF |
|
47 | Peter Thanisch, Michael G. Norman |
There's Nothing Like Shared Nothing. |
Object Orientation with Parallelism and Persistence |
1995 |
DBLP BibTeX RDF |
|
47 | Dimitris Tombros, Andreas Geppert, Klaus R. Dittrich |
Design and Implementation of Process-Oriented Environments with Brokers and Services. |
Object Orientation with Parallelism and Persistence |
1995 |
DBLP BibTeX RDF |
|
47 | Uwe Nestmann, Martin Steffen |
Correct Transformational Design of Concurrent Search Structures. |
Object Orientation with Parallelism and Persistence |
1995 |
DBLP BibTeX RDF |
|
47 | Ulrike Lechner, Christian Lengauer |
Modal-µ-Maude: Specification and Properties of Concurrent Objects. |
Object Orientation with Parallelism and Persistence |
1995 |
DBLP BibTeX RDF |
|
47 | Peter John Whysall |
Z Expression of Refinable Objects. |
Object Orientation in Z |
1992 |
DBLP BibTeX RDF |
|
47 | Alan Wills |
Specification in Fresco. |
Object Orientation in Z |
1992 |
DBLP BibTeX RDF |
|
47 | Antonio J. Alencar, Joseph A. Goguen |
OOZE. |
Object Orientation in Z |
1992 |
DBLP BibTeX RDF |
|
47 | |
Example Specification in Z. |
Object Orientation in Z |
1992 |
DBLP BibTeX RDF |
|
47 | |
Z and HOOD. |
Object Orientation in Z |
1992 |
DBLP BibTeX RDF |
|
47 | |
Hall's Style. |
Object Orientation in Z |
1992 |
DBLP BibTeX RDF |
|
47 | Gordon A. Rose |
Object-Z. |
Object Orientation in Z |
1992 |
DBLP BibTeX RDF |
|
47 | Elspeth Cusack, G.-H. Bagherzadeh Rafsanjani |
ZEST. |
Object Orientation in Z |
1992 |
DBLP BibTeX RDF |
|
47 | |
Schuman & Pitt Approach. |
Object Orientation in Z |
1992 |
DBLP BibTeX RDF |
|
47 | Silvio Romero de Lemos Meira, Ana Cavalcanti 0001 |
MooZ Case Studies. |
Object Orientation in Z |
1992 |
DBLP BibTeX RDF |
|
47 | |
Why an Object Oriented Z? |
Object Orientation in Z |
1992 |
DBLP BibTeX RDF |
|
47 | Kevin Lano |
Z++. |
Object Orientation in Z |
1992 |
DBLP BibTeX RDF |
|
47 | Ioannis T. Kassios |
Decoupling in Object Orientation. |
FM |
2005 |
DBLP DOI BibTeX RDF |
specification and refinement, object orientation |
44 | Carl Alphonce, Phil Ventura |
Object orientation in CS1-CS2 by design. |
ITiCSE |
2002 |
DBLP DOI BibTeX RDF |
pedagogical approaches, design, UML, object-orientation, CS1, CS2 |
41 | John Lewis |
Myths about object-orientation and its pedagogy. |
SIGCSE |
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. |
Mobility Conference |
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. |
ITiCSE |
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. |
IEEE Trans. Pattern Anal. Mach. Intell. |
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. |
Math. Comput. Sci. |
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. |
IEEE Trans. Pattern Anal. Mach. Intell. |
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. |
ICIP (3) |
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. |
OOPSLA Companion |
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. |
ECOOP |
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. |
SIGITE Conference |
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. |
ITiCSE |
2008 |
DBLP DOI BibTeX RDF |
object orientation, cs1, python |
33 | Bernhard Beckert, André Platzer |
Dynamic Logic with Non-rigid Functions. |
IJCAR |
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. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
learning, object-orientation, programming, pedagogy, process, teaching |
31 | James Noble 0001 |
The Myths of Object-Orientation. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Jifeng He 0001, Zhiming Liu 0001, Xiaoshan Li, Shengchao Qin |
A Relational Model for Object-Oriented Designs. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
UTP, Semantics, Object Orientation, Refinement |
30 | Mirko Raner |
Teaching object-orientation with the Object Visualization and Annotation Language (OVAL). |
ITiCSE |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Andreas Gal, Olaf Spinczyk, Darío Álvarez Gutiérrez |
Object-Orientation and Operating Systems. |
ECOOP Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Eugene Kindler |
SIMULA and Super-Object-Oriented Programming. |
Essays in Memory of Ole-Johan Dahl |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Tosiyasu L. Kunii, Takao Maeda |
On The Silhouette Cartoon Animation. |
CA |
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. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
object-orientation, Z |
28 | Rachel Or-Bach, Ilana Lavy |
Cognitive activities of abstraction in object orientation: an empirical study. |
ACM SIGCSE Bull. |
2004 |
DBLP DOI BibTeX RDF |
object-oriented programming, abstraction, object-oriented design, inheritance, task analysis |
28 | Manfred Broy |
Distributed Concurrent Object-Oriented Software. |
Essays in Memory of Ole-Johan Dahl |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Lutz Wohlrab, Francisco J. Ballesteros, Frank Schubert 0001, Henning Schmidt, Ashish Singhai |
Object-Orientation and Operating Systems. |
ECOOP Workshops |
1999 |
DBLP DOI BibTeX RDF |
|
28 | G. Aditya Kiran, S. Haripriya, Pankaj Jalote |
Effect of Object Orientation on Maintainability of Software. |
ICSM |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Philip T. Cox |
Using Object-Orientation to Implement Logic Programming. |
SIGSMALL/PC Symposium |
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. |
OOPSLA Companion |
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. |
ACM Comput. Surv. |
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. |
PDP |
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. |
IEEE Trans. Software Eng. |
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. |
ICIP (2) |
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. |
ETFA |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Stelios Krinidis, Vassilios Chatzis |
Frequency-based object orientation and scaling determination. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Jacky Akoka |
Conceptual Design of Parallel Systems. |
Conceptual Modeling |
1997 |
DBLP DOI BibTeX RDF |
parallelism, concurrency, data model, object, design method, message |
27 | Bob Kowalski 0001 |
Computational Logic in an Object-Oriented World. |
Reasoning, Action and Interaction in AI Theories and Systems |
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. |
FME |
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. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Manfred Broy |
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation. |
Architecting Systems with Trustworthy Components |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Maarten Boasson |
Embedded Systems Unsuitable for Object Orientation. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Henry Schneiderman, Takeo Kanade |
Object Detection Using the Statistics of Parts. |
Int. J. Comput. Vis. |
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. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
learning, object-orientation, programming, pedagogy, process, teaching |
26 | Michael H. Goldwasser, David Letscher |
Teaching object-oriented programming in python. |
ITiCSE |
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. |
Concurrent Object-Oriented Programming and Petri Nets |
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. |
TOOLS (30) |
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. |
SOFSEM |
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. |
TOOLS (28) |
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. |
ICATPN |
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. |
ICPADS |
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. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Ole-Johan Dahl |
The Birth of Object Orientation: the Simula Languages. |
Essays in Memory of Ole-Johan Dahl |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Walter G. Fil |
Whither object orientation? What is object orientation, anyway? |
ACM SIGAPL APL Quote Quad |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Lingfeng Wang |
Using Object-Orientation in Developing a Flexible Automatic Test System. |
TOOLS (36) |
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? |
East/West Database Workshop |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Norberto Ezquerra, Rakesh Mullick |
An Approach to 3D Pose Determination. |
ACM Trans. Graph. |
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. |
ICTAC |
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. |
APSEC |
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. |
FASE |
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. |
AVSS |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Yuri Leontiev, M. Tamer Özsu, Duane Szafron |
On type systems for object-oriented database programming languages. |
ACM Comput. Surv. |
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. |
ASE |
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. |
DEXA Workshops |
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. |
Softw. Syst. Model. |
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. |
ICFEM |
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. |
OOPSLA Companion |
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. |
ICATPN |
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. |
ACM SIGPLAN Notices |
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. |
ICFEM |
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. |
CAiSE |
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. |
TOOLS (30) |
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. |
ECOOP |
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. |
ISORC |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Hong Zhu 0002, David E. Lightfoot |
Caste: A Step beyond Object Orientation. |
JMLC |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Tom Mens, Kim Mens, Patrick Steyaert |
OPUS: a Formal Approach to Object-Orientation. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Richard C. Holt |
Introducing undergraduates to object orientation using the Turing language. |
SIGCSE |
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. |
Auton. Robots |
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][ >>] |
|