Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Frank Zeyda, Thiago L. V. L. Santos, Ana Cavalcanti 0001, Augusto Sampaio |
A Modular Theory of Object Orientation in Higher-Order UTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 627-642, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Christina K. Houben |
Fostering functional safety of real-time systems with concepts of object orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMAR ![In: 19th International Conference On Methods and Models in Automation and Robotics, MMAR 2014, Międzyzdroje, Poland, September 2-5, 2014, pp. 353-358, 2014, IEEE, 978-1-4799-5082-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Lars Braubach, Alexander Pokahr |
A Generic Mapping Approach for the Integration of BDI with Object Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WI-IAT (3) ![In: 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), Warsaw, Poland, August 11-14, 2014 - Volume III, pp. 95-102, 2014, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Takayuki Shibata, Shohei Okubo, Daiki Iwai, Junko Kiyohara, Sumiya Nagatsuka, Yoshie Kodera |
Investigation of Dependence on the Object Orientation in Visibility-Contrast Imaging with the X-Ray Talbot-Lau Interferometer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Mammography / IWDM ![In: Breast Imaging - 12th International Workshop, IWDM 2014, Gifu City, Japan, June 29 - July 2, 2014. Proceedings, pp. 482-487, 2014, Springer, 978-3-319-07886-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Hemang Mehta, S. J. Balaji, Dharanipragada Janakiram |
Extending programming language to support object orientation in legacy systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Inf. Syst. ![In: Comput. Sci. Inf. Syst. 10(4), pp. 1661-1672, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Michele Burigo, Simona Sacchi |
Object Orientation Affects Spatial Language Comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Sci. ![In: Cogn. Sci. 37(8), pp. 1471-1492, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Zhaoyin Jia, Andrew C. Gallagher, Tsuhan Chen |
Cameras and gravity: Estimating planar object orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: IEEE International Conference on Image Processing, ICIP 2013, Melbourne, Australia, September 15-18, 2013, pp. 3642-3646, 2013, IEEE, 978-1-4799-2341-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Rainer Lutz 0001, Sascha Schäfer 0001, Stephan Diehl 0001 |
Teaching object-orientation with smartphones as digital CRC cards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: 26th International Conference on Software Engineering Education and Training, CSEE&T 2013, San Francisco, CA, USA, May 19-21, 2013, pp. 89-98, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Stephan van Staden |
Enhancing separation logic for object-orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
13 | Armin Wolf |
firstCS - New Aspects on Combining Constraint Programming with Object-Orientation in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Künstliche Intell. ![In: Künstliche Intell. 26(1), pp. 55-60, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
13 | Bob Diertens |
From Functions to Object-Orientation by Abstraction ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1209.6163, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
13 | Jesper Kjeldskov, Jan Stage |
Combining ethnography and object-orientation for mobile interaction design: Contextual richness and abstract models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Stud. ![In: Int. J. Hum. Comput. Stud. 70(3), pp. 197-217, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
13 | Virjanand Panday, Wouter M. Bergmann Tiest, Astrid M. L. Kappers |
Influence of Local Properties on the Perception of Global Object Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Haptics ![In: IEEE Trans. Haptics 5(1), pp. 58-65, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
13 | Chi-Yi Tsai, Ching-Chang Wong, Tsung-Yen Liu, An-Hung Tsao |
A novel image-based object orientation estimation algorithm for robotic manipulator applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPACS ![In: International Symposium on Intelligent Signal Processing and Communications Systems, ISPACS 2012, Tamsui, New Taipei City, Taiwan, November 4-7, 2012, pp. 280-284, 2012, IEEE, 978-1-4673-5083-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
13 | Rasmus Krigslund, Petar Popovski, Gert Frølund Pedersen, Kristian Bank |
Potential of RFID Systems to Detect Object Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2011, Kyoto, Japan, 5-9 June, 2011, pp. 1-5, 2011, IEEE, 978-1-61284-232-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Naveen Kumar 0004, Adam C. Lammert, Brendan J. Englot, Franz S. Hover, Shrikanth S. Narayanan |
Directional descriptors using zernike moment phases for object orientation estimation in underwater sonar images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2011, May 22-27, 2011, Prague Congress Center, Prague, Czech Republic, pp. 1025-1028, 2011, IEEE, 978-1-4577-0539-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Muhanad S. Manshad, Enrico Pontelli, Shakir J. Manshad |
MICOO (multimodal interactive cubes for object orientation): a tangible user interface for the blind and visually impaired. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: The 13th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS '11, Dundee, Scotland, UK, October 24-26, 2011, pp. 261-262, 2011, ACM, 978-1-4503-0920-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Peter Hubwieser, Andreas Mühling |
Knowpats: Patterns of Declarative Knowledge - Searching Frequent Knowledge Patterns about Object-orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDIR ![In: KDIR 2011 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, Paris, France, 26-29 October, 2011, pp. 358-364, 2011, SciTePress, 978-989-8425-79-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
13 | Dewi Daniels |
Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems. ![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. 211-213, 2011, Springer, 978-3-642-21337-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Bob Diertens |
On Object-Orientation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1010.3100, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
13 | Christopher Schleiden, Christian Terboven |
Exploiting Object Orientation to Parallelize and Optimize C++ Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatiktage ![In: Informatiktage 2010 - Fachwissenschaftlicher Informatik-Kongress 19. und 20. März 2010, B-IT Bonn-Aachen International Center for Information Technology in Bonn, pp. 189-192, 2010, GI, 978-3-88579-443-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
13 | Marius Brezovan, Dumitru Dan Burdescu, Eugen Ganea, Liana Stanescu |
High-Level Petri Nets with Object-Orientation - A High-Level Petri Net Model Allowing Multiple Inheritance and Multiple Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Intelligent Distributed Computing IV - Proceedings of the 4th International Symposium on Intelligent Distributed Computing - IDC 2010, Tangier, Morocco, September 2010, pp. 219-228, 2010, 978-3-642-15210-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
13 | Satoshi Ito, Shouta Takeuchi, Minoru Sasaki |
Object orientation in two dimensional grasp with friction towards minimization of gripping power. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 101(3), pp. 215-226, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Ilana Lavy, Rami Rashkovits, Roy Kouris |
Coping with abstraction in object orientation with a special focus on interface classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Educ. ![In: Comput. Sci. Educ. 19(3), pp. 155-177, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Ashutosh Saxena, Justin Driemeyer, Andrew Y. Ng |
Learning 3-D object orientation from images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 794-800, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Satoshi Ito, Shouta Takeuchi, Minoru Sasaki |
Mathematical Analysis on the Relation between Object Orientation and Contact Forces in the 2D Grasp with Frictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SyRoCo ![In: 9th IFAC Symposium on Robot Control, SyRoCo 2009, Gifu, Japan, September 9-12, 2009., pp. 263-268, 2009, International Federation of Automatic Control, 978-3-902661-60-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Jan Vitek |
Introduction to: 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. 618, 2009, Springer, 978-3-642-03012-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Jeanne L. Murtagh, Drew Hamilton |
How Ada object orientation works. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, Saint Petersburg, Florida, USA, November 1-5, 2009, pp. 5-6, 2009, ACM, 978-1-60558-475-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Christian Skalka |
Types and trace effects for object orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 21(3), pp. 239-282, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Chyi-Yeu Lin, Edwin Setiawan |
Object orientation recognition based on SIFT and SVM by using stereo camera. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROBIO ![In: IEEE International Conference on Robotics and Biomimetics, ROBIO 2008, February 22-25, 2009, Bangkok, Thailand, pp. 1371-1376, 2008, IEEE, 978-1-4244-2678-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Xiaojian Liu, Xuejun Liu, Jianxin Li |
A Hybrid Language Combining Business Rules with Object-Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS (2) ![In: 2008 International Conference on Computational Intelligence and Security, CIS 2008, 13-17 December 2008, Suzhou, China, Volume 2, Workshop Papers, pp. 101-106, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Leila Silva, Augusto Sampaio, Zhiming Liu 0001 |
Laws of Object-Orientation with Reference Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 217-226, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Thiago L. V. L. Santos, Ana Cavalcanti 0001, Augusto Sampaio |
Object-Orientation in the UTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers, pp. 18-37, 2006, Springer, 3-540-34750-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre |
Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROMAS ![In: Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers, pp. 149-164, 2006, Springer, 978-3-540-71955-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre |
Importing Agent-like Interaction in Object Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOA ![In: Proceedings of the 7th WOA 2006 Workshop, From Objects to Agents (Dagli Oggetti Agli Agenti), Catania, Italy, September 26-27, 2006., 2006, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
13 | Kenneth A. Hawick, Heath A. James |
Performance, Scalability and Object-Orientation in Discrete Graph-Based Simulation Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSV ![In: Proceedings of The 2005 International Conference on Modeling, Simulation and Visualization Methods, MSV 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 25-31, 2005, CSREA Press, 1-932415-70-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
13 | Shoichi Shimizu, Tomoyuki Nagahashi, Hironobu Fujiyoshi |
Robust and Accurate Detection of Object Orientation and ID Without Color Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2005: Robot Soccer World Cup IX, pp. 408-419, 2005, Springer, 3-540-35437-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Júlio C. B. de Mattos, Emilena Specht, Bruno Neves, Luigi Carro |
Object Orientation Problems When Applied to the Embedded Systems Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IESS ![In: From Specification to Embedded Systems Application [International Embedded Systems Symposium, IESS 2005, Manaus, Brazil, August 2005], pp. 147-156, 2005, Springer, 978-0-387-27557-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Christian Skalka |
Trace effects and object orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pp. 139-150, 2005, ACM, 1-59593-090-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
temporal program logic, type and effect, type constraints |
13 | Joakim Gustafsson, Jonas Kvarnström |
Elaboration tolerance through object-orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 153(1-2), pp. 239-285, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Olaf Owe, Stein Krogdahl, Tom Lyche (eds.) |
From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays in Memory of Ole-Johan Dahl ![Springer, 3-540-21366-X The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Annita Fjuk, Ola Berge, Jens Bennedsen, Michael E. Caspersen |
Learning Object-Orientation through ICT-mediated Apprenticeship. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the IEEE International Conference on Advanced Learning Technologies, ICALT 2004, Joensuu, Finland, August 30 - September 1, 2004, 2004, IEEE Computer Society, 0-7695-2181-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Dines Bjørner |
Towards Posit & Prove Calculi for Requirements Engineering and Software Design: In Honour of the Memory of Professor Ole-Johan Dahl. ![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. 58-82, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Jean G. Vaucher |
Building Optimal Binary Search Trees from Sorted Values in O(N) Time. ![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. 376-388, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
data structures, binary search tree, balanced trees |
13 | Mark-Oliver Stehr, José Meseguer 0001 |
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework. ![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. 334-375, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Joseph A. Goguen, Grigore Rosu |
Composing Hidden Information Modules over Inclusive Institutions. ![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. 96-123, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Gul Agha, Prasanna Thati |
An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language. ![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. 26-57, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Donald E. Knuth, Frank Ruskey |
Efficient Coroutine Generation of Constrained Gray Sequences. ![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. 183-208, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Einar Broch Johnsen, Olaf Owe |
Object-Oriented Specification and Open Distributed Systems. ![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. 137-164, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | C. A. R. Hoare |
Towards the Verifying Compiler. ![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. 124-136, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Neelam Soundarajan, Stephen Fridella |
Incremental Reasoning for Object Oriented Systems. ![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. 302-333, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Incremental reasoning, Behavior of polymorphic methods, Incremental design |
13 | Olaf Owe, Stein Krogdahl, Tom Lyche |
A Biography of Ole-Johan Dahl. ![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. 1-7, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Michel Sintzoff |
Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games. ![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. 272-301, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Bertrand Meyer 0001 |
The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design. ![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. 236-271, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Olaf Owe, Stein Krogdahl, Tom Lyche |
A Bibliography of Ole-Johan Dahl. ![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. 8-14, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Colin J. Neill |
Leveraging object-orientation for real-time imaging systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Imaging ![In: Real Time Imaging 9(6), pp. 423-432, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Rachel Or-Bach, Ilana Lavy |
Students' understanding of object orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2003, Thessaloniki, Greece, June 30 - July 2, 2003, pp. 251, 2003, ACM, 1-58113-672-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
object oriented programming, abstraction, object oriented design, inheritance, polymorphism, task analysis |
13 | Mark Utting, Shaochun Wang |
Object Orientation without Extending Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 319-338, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Liping Liu, Elizabeth E. Grandon |
How Performance and Self-Efficacy Influence the Ease of Use of Object-Orientation: The Moderating Effect of Prior Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 327, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Mikael B. Skov, Jan Stage |
Designing interactive narrative systems: is object-orientation useful? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. ![In: Comput. Graph. 26(1), pp. 57-66, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Robert L. Glass |
The Naturalness of Object Orientation: Beating a Dead Horse? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 19(3), pp. 103-104, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | John Hunt |
Guide to C# and object orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
RDF |
|
13 | Ole-Johan Dahl |
The Roots of Object Orientation: The Simula Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Pioneers ![In: Software Pioneers., pp. 78-90, 2002, Springer Berlin Heidelberg, 978-3-642-63970-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Charles Lakos |
The Challenge of Object Orientation for the Analysis of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings, pp. 59-67, 2002, Springer, 3-540-43787-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Alejandro Alonso 0001, Roberto López, Tullio Vardanega, Juan Antonio de la Puente |
Using Object Orientation in High Integrity Applications: A Case Study. ![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. 357-366, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Per-Erik Jansson, David S. Moon |
A coupled model of water, heat and mass transfer using object orientation to improve flexibility and functionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Environ. Model. Softw. ![In: Environ. Model. Softw. 16(1), pp. 37-46, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Yuriy Sheynin, Anna Novoselova |
Object-Orientation in Parallel VSIPL Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg, Germany, pp. 277-, 2001, IEEE Computer Society, 0-7695-1089-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Xudong He, Yingjia Ding |
Object Orientation in Hierarchical Predicate Transition Nets. ![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. 196-215, 2001, Springer, 3-540-41942-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | João M. Fernandes, Ricardo J. Machado 0001 |
System-Level Object-Orientation in the Specification and Validation of Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 14th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2001, Pirenopolis, Brazil, September 10-15, 2001, pp. 8-13, 2001, IEEE Computer Society, 0-7695-1333-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
13 | Jacky Baltes |
HORUS: Object Orientation and Id without Additional Markers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RobVis ![In: Robot Vision, International Workshop RobVis 2001, Auckland, New Zealand, February 16-18, 2001, Proceeding, pp. 107-114, 2001, Springer, 3-540-41694-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Jacky Baltes |
Yue-Fei: Object Orientation and Id without Additional Markers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2001: Robot Soccer World Cup V, pp. 257-262, 2001, Springer, 3-540-43912-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Metzger, Stefan Queins |
Specifying Building Automation Systems wigh PROBanD, a Method Based on Prototyping, Reuse, and Object-orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OMER ![In: OMER - Object-Oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2 May 28/29, 1999 & May 10-12, 2001, Herrsching am Amersee, Germany, pp. 135-140, 2001, GI. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
13 | Janusz Zalewski |
Object Orientation vs. Real-Time Systems - Response to Alan C. Shaw's Contribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 18(1), pp. 75-77, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Markus Kottmann, Xiaobing Qiu, Walter Schaufelberger |
Simulation and computer aided control systems design using object-orientation - design and implementation with OMT and Oberon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
13 | Colin J. Theaker, Neil Blackwood, Robert Mason |
The Introduction and Evaluation of Object Orientation in a Company Developing Real-Time Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSPT ![In: Software Process Technology, 7th European Workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000, Proceedings, pp. 161-175, 2000, Springer, 3-540-67140-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Stephen Michell, Joyce L. Tokar |
Tasking and object orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRTAW ![In: Proceedings of the 10th International Workshop on Real-Time Ada, IRTAW 2000, Ávila, Spain, 2000, pp. 9-10, 2000, ACM, 978-1-4503-7327-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Feroz Ahmed Siddiqui, Guy Fitzgerald |
Conceptual Analysis of Flexibility Concepts in Object-Orientation and UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS ![In: 6th International Conference on Object Oriented Information Systems, OOIS 2000, London, UK, December 18-20, 2000. Proceedings, pp. 271-279, 2000, Springer, 1-85233-420-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Mark Evered, Gisela Menger, James Leslie Keedy, Axel Schmolitzky |
Software Engineering Despite Object-Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: 23rd Australasian Computer Science Conference (ACSC 2000), 31 January - 3 February 2000, Canberra, Australia, pp. 66-73, 2000, IEEE Computer Society, 0-7695-0518-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
object-oriented language design, software engineering, collections, classes |
13 | Mostafa M. Aref |
Object Orientation in Natural Language Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Intelligent Problem Solving, Methodologies and Approaches, 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000, New Orleans, Louisiana, USA, June 19-22, 2000, Proceedings, pp. 591-600, 2000, Springer, 3-540-67689-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Bora I. Kumova |
Evaluation of the Object-Orientation of a Multi-agent System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADVIS ![In: Advances in Information Systems, First International Conference, ADVIS 2000, Izmir, Turkey, 25-27 October 2000, Proceedings, pp. 314-323, 2000, Springer, 3-540-41184-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | David Cabanis |
Application of object-orientation to HDL-based designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
13 | Alistair Cockburn |
The Impact of Object-Orientation on Application Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM Syst. J. ![In: IBM Syst. J. 38(2/3), pp. 308-332, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Alexandru C. Telea, Cristian Sminchisescu |
Combining Object Orientation and Dataflow Modeling in the Vission Simulation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshop for PhD Students in OO Systems ![In: Proceedings of the ECOOP'99 Workshop for PhD Students in OO Systems (PhDOOS '99), Lisbon, Portugal, June 1999, pp. 136-143, 1999, 90-386-1471-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
13 | Daniel de M. Viero, Luciano Paschoal Gaspary, Maria Janilce B. Almeida |
Applying Object-Orientation Concepts in Networked Multimedia Applications Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Informatics ![In: Proceedings of the 17th IASTED International Conference on Applied Informatics, February 15-18, 1999, Innsbruck, Austria, pp. 249-252, 1999, IASTED/ACTA Press, 0-88986-241-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
13 | John Hunt |
Java and object orientation - an introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1998 |
RDF |
|
13 | Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere |
An Approach to Object-Orientation in Action Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings, pp. 68-95, 1998, Springer, 3-540-64591-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Werner Vieth |
Using Object Orientation to Improve the Software of the German Shoe Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings, pp. 86-88, 1998, Springer, 3-540-65460-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
13 | Philippe Lalanda, Sophie Cherki |
Object-Orientation and Software Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings, pp. 115-119, 1998, Springer, 3-540-65460-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Richard C. Li, Anthony S. Fong, Derek Chi-Wai Pao |
Architecture support of a descriptor computer on object-orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATA ![In: Computers and Their Applications (CATA-98), Proceedings of the ISCA 13th International Conference, Honolulu, Hawaii, USA, March 25-27, 1998, pp. 23-27, 1998, ISCA, 1-880843-23-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
13 | Akira K. Onoma |
Evaluation of Object-Orientation for Industrial Usage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '98 - 22nd International Computer Software and Applications Conference, August 19-21, 1998, Vienna, Austria, pp. 647-648, 1998, IEEE Computer Society, 0-8186-8585-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Wilson C. Hsieh, Przemyslaw Pardyak, Marc E. Fiuczynski, C. Garrett, Brian N. Bershad |
The Interaction of Access Control and Object-Orientation in Extensible Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (26) ![In: TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, USA, pp. 320-332, 1998, IEEE Computer Society, 0-8186-8482-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Peter Loos, Thomas Allweyer |
Object-orientation in business process modeling through applying event driven process chains (EPC) in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: Second International Enterprise Distributed Object Computing Workshop, EDOC 1998, La Jolla, CA, USA, November 3-5, 1998, Proceedings, pp. 102-112, 1998, IEEE, 0-7803-5158-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Michael Franz |
The Programming Language Lagoona - A Fresh Look at Object-Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Concepts Tools ![In: Softw. Concepts Tools 18(1), pp. 14-26, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
13 | Gian Luca Foresti, Carlo S. Regazzoni |
A real-time model-based method for 3-D object orientation estimation in outdoor scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Signal Process. Lett. ![In: IEEE Signal Process. Lett. 4(9), pp. 248-251, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Manjunath Suryanarayana |
Book Review: Object-Orientation and Prototyping in Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 22(2), pp. 102, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | N. K. Salgado, Mohammad Hossein Aliabadi, R. E. Callan |
Rule inferencing and object-orientation for boundary elements mesh design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Eng. ![In: Artif. Intell. Eng. 11(2), pp. 183-190, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Eliezer Kantorowitz |
Algorithm Simplification Through Object Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 27(2), pp. 173-183, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | John Hunt |
Smalltalk and object orientation - an introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1997 |
RDF |
|
13 | Henning Schmidt, Frank Schubert 0001, Lutz Wohlrab |
Workshop on Object-Orientation and Operating Systems - Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops, Jyväskylä, Finland, June 9-13, 1997, pp. 497-498, 1997, Springer, 3-540-64039-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
13 | Emilio Paolucci, Fabio Bonci, Vincenzo Russi |
Redesigning Organisations Through Business Process Re-engineering and Object-orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIS ![In: Proceedings of the Fifth European Conference on Information Systems, ECIS 1997, Cork, UK, 1997, pp. 586-601, 1997, Cork Publishing Ltd. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|