Bibliografie tematiche / Object Oriented Methods

Letteratura scientifica selezionata sul tema "Object Oriented Methods"

Autore: Grafiati
Pubblicato: 4 giugno 2021
Ultima modifica: 10 febbraio 2022

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Indice

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Object Oriented Methods".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "Object Oriented Methods"

1

Solberg, Helge Erik. "Object-oriented methods". Clinica Chimica Acta 222, n. 1-2 (dicembre 1993): 3–11. http://dx.doi.org/10.1016/0009-8981(93)90086-j.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Webster, S. "Object oriented methods". Information and Software Technology 34, n. 3 (marzo 1992): 205. http://dx.doi.org/10.1016/0950-5849(92)90032-k.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Hogg, John. "Object-Oriented Formal Methods". ACM SIGPLAN OOPS Messenger 3, n. 2 (aprile 1992): 6. http://dx.doi.org/10.1145/130943.1041450.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Mackie, R. I. "Object Oriented Programming and Numerical Methods". Computer-Aided Civil and Infrastructure Engineering 6, n. 2 (6 novembre 2008): 123–28. http://dx.doi.org/10.1111/j.1467-8667.1991.tb00182.x.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Dupée, Brian J. "Object oriented methods using Fortran 90". ACM SIGPLAN Fortran Forum 13, n. 1 (marzo 1994): 21–30. http://dx.doi.org/10.1145/191559.191563.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Ouarraui, Chakib, e David Kaeli. "Developing object-oriented parallel iterative methods". International Journal of High Performance Computing and Networking 1, n. 1/2/3 (2004): 85. http://dx.doi.org/10.1504/ijhpcn.2004.007568.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Shiau, Lie June. "Object-oriented programming for numerical methods". ACM SIGCSE Bulletin 25, n. 4 (dicembre 1993): 5–8. http://dx.doi.org/10.1145/164205.164210.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Chu, P. C. "Internal Control Methods In Object-Oriented Systems". Review of Business Information Systems (RBIS) 1, n. 3 (1 luglio 1997): 21–42. http://dx.doi.org/10.19030/rbis.v1i3.5500.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Faloutsos, Christos, Timos Sellis e Nick Roussopoulos. "Analysis of object oriented spatial access methods". ACM SIGMOD Record 16, n. 3 (dicembre 1987): 426–39. http://dx.doi.org/10.1145/38714.38758.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Diaz, Oscar, Jon Iturrioz e Mario G. Piattini. "Promoting business policies in object-oriented methods". Journal of Systems and Software 41, n. 2 (maggio 1998): 105–15. http://dx.doi.org/10.1016/s0164-1212(97)10011-5.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Tesi sul tema "Object Oriented Methods"

1

Tews, Hendrik. "Coalgebraic Methods for Object-Oriented Specification". Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2002. http://nbn-resolving.de/urn:nbn:de:swb:14-1035212977359-10343.

Testo completo
Abstract (sommario):
This thesis is about coalgebraic methods in software specification and verification. It extends known techniques of coalgebraic specification to a more general level to pave the way for real world applications of software verification. There are two main contributions of the present thesis: 1. Chapter 3 proposes a generalisation of the familiar notion of coalgebra such that classes containing methods with arbitrary types (including binary methods) can be modelled with these generalised coalgebras. 2. Chapter 4 presents the specification language CCSL (short for Coalgebraic Class Specification Language), its syntax, its semantics, and a prototype compiler that translates CCSL into higher-order logic
Die Dissertation beschreibt coalgebraische Mittel und Methoden zur Softwarespezifikation und -verifikation. Die Ergebnisse dieser Dissertation vereinfachen die Anwendung coalgebraischer Spezifikations- und Verifikationstechniken und erweitern deren Anwendbarkeit. Damit werden Softwareverifikation im Allgemeinen und im Besonderen coalgebraische Methoden zur Softwareverifikation der praktischen Anwendbarkeit ein Stück nähergebracht. Diese Dissertation enthält zwei wesentliche Beiträge: 1. Im Kapitel 3 wird eine Erweiterung des klassischen Begriffs der Coalgebra vorgestellt. Diese Erweiterung erlaubt die coalgebraische Modellierung von Klassenschnittstellen mit beliebigen Methodentypen (insbesondere mit binären Methoden). 2. Im Kapitel 4 wird die coalgebraische Spezifikationssprache CCSL (Coalgebraic Class Specification Language) vorgestellt. Die Bescheibung umfasst Syntax, Semantik und einen Prototypcompiler, der CCSL Spezifikationen in Logik höherer Ordnung (passend für die Theorembeweiser PVS und Isabelle/HOL) übersetzt
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Ormsby, Andrew Robert Thomas. "Improving reuse in object oriented design methods". Thesis, Aberystwyth University, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.295270.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Alencar, Antonio J. S. M. de. "OOZE : an Object-Oriented Z Environment". Thesis, University of Oxford, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.239339.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Fleissner, Florian. "Parallel object oriented simulation with Lagrangian particle methods". Aachen Shaker, 2009. http://d-nb.info/1000976742/04.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Liang, Ying. "A framework for assessing object-oriented analysis methods". Thesis, Open University, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.295047.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Moghim, Mohammad Reza. "Incorporating design patterns into object-oriented development methods". Thesis, University of Salford, 1999. http://usir.salford.ac.uk/26820/.

Testo completo
Abstract (sommario):
Object-oriented methods and design patterns provide valuable design guidance for object-oriented system development. However, they are not competitors, and in fact complement each other in many ways. The research reported in this thesis studied how to apply design patterns and object-oriented methods together to guide system development. It addresses issues such as, how methods need to be changed to accommodate the application of design patterns; how design patterns need to be adapted to fit within methods; and how the heuristics of design patterns may be brought to bear on improving methods. The thesis reports the experience of accommodating six design patterns ( Adapter, Composite, Facade, Mediator, Observer and Strategy ) from the book entitled "Design Patterns Elements of Reusable Object-Oriented Software" by E.Gamma, R. Helm, R.Johnson and J.Vlissides into certain object-oriented methods namely (Responsibility-Driven Design, Object-Oriented Software Engineering and Unified Modelling Language). This experience has been used in the work to generate a general approach for accommodating design patterns into methods. It also shows how the properties of the object-oriented methods and design patterns interact.�
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Caswell, Matthew J. A. "The action semantics of object-oriented languages". Thesis, Loughborough University, 1998. https://dspace.lboro.ac.uk/2134/28283.

Testo completo
Abstract (sommario):
Action Semantics is a framework for defining the semantics of languages. It is intended to be accessible to a wider audience of Computer Scientists than traditional semantics frameworks (such as Denotational Semantics). There has been little work carried out to date on the techniques required to define object-oriented languages with Action Semantics. The work presented in this thesis examines four potential approaches to defining the Action Semantics of object-oriented languages. In order to illustrate the four approaches a simple language EIL (Example Inheritance Language) is given, and described using these four approaches. The language Smalltalk-80 has been selected for a case study of a practical application of one of the techniques described above. It is important to be able to relate Action Semantics definitions of object-oriented languages to similar definitions given in other frameworks. It is described how this can be achieved. An example is given for the Action Semantics and Denotational Semantics of Smalltalk. This thesis concludes that it is feasible to produce Action Semantics definitions of object-oriented languages.
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Farmani, Maryam. "Object-oriented expert system design TEXPERT /". Morgantown, W. Va. : [West Virginia University Libraries], 2001. http://etd.wvu.edu/templates/showETD.cfm?recnum=2054.

Testo completo
Abstract (sommario):
Thesis (M.S.)--West Virginia University, 2001.
Title from document title page. Document formatted into pages; contains xii, 121 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 118-121).
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Tokuda, Lance Aiji. "Evolving object-oriented designs with refactorings /". Digital version accessible at:, 1999. http://wwwlib.umi.com/cr/utexas/main.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Kwok, Chee Khan. "Simulation of distributed object oriented servers". Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03Dec%5FKwok%5fC.pdf.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Libri sul tema "Object Oriented Methods"

1

Ian, Graham. Object-oriented methods. Wokingham, England: Addison-Wesley, 1991.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Object-oriented methods. 2a ed. Wokingham, England: Addison-Wesley, 1994.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

A, Bulthuis, a cura di. Object-oriented metamethods. New York: Springer, 1997.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Henderson-Sellers, Brian. Object-oriented metamethods. New York: Springer, 1998.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

J, Odell James, a cura di. Object-oriented methods: Pragmatic considerations. Upper Saddle River, NJ: Prentice Hall PTR, 1996.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

James, Martin. Object-oriented methods: A foundation. Lancashire, England: Savant, 1994.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

James, Martin. Object-oriented methods: A foundation. 2a ed. Upper Saddle River, N.J: Prentice Hall PTR, 1998.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Ian, Graham. Object-oriented methods: Principles & practice. 3a ed. Harlow, England: Addison-Wesley, 2000.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

J, O'Callaghan A., e Wills Alan Cameron, a cura di. Object-oriented methods: Principles & practice. 3a ed. Harlow: Addison-Wesley, 2001.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

J, Odell James, e Martin James 1933-, a cura di. Object-oriented methods: A foundation. Englewood Cliffs, N.J: PTR Prentice Hall, 1995.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Capitoli di libri sul tema "Object Oriented Methods"

1

Lamping, John, e Martin Abadi. "Methods as assertions". In Object-Oriented Programming, 60–80. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/bfb0052176.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Beynon-Davies, Paul. "Object-Oriented Methods". In Information Systems Development, 291–96. London: Macmillan Education UK, 1998. http://dx.doi.org/10.1007/978-1-349-14931-5_30.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Tekinerdoğan, Bedir, Motoshi Saeki, Gerson Sunyé, Pim van den Broek e Pavel Hruby. "Automating Object-Oriented Software Development Methods". In Object-Oriented Technology, 41–56. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-47853-1_4.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Cohen, Ernie. "Object-Oriented Security Proofs". In Formal Methods, 671–74. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-95582-7_43.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Lano, Kevin. "Proof Methods and Techniques". In Formal Object-Oriented Development, 176–218. London: Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3073-4_6.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Bastide, Rémi, e Didier Buchs. "Models, Formalisms and Methods for Object-Oriented Distributed Computing". In Object-Oriented Technologys, 221–55. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-69687-3_45.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Büchi, Martin, e Emil Sekerinski. "Formal Methods for Component Software: The Refinement Calculus Perspective". In Object-Oriented Technologys, 332–37. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-69687-3_68.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Arge, Erlend, Are Magnus Bruaset e Hans Petter Langtangen. "Object-Oriented Numerics". In Numerical Methods and Software Tools in Industrial Mathematics, 7–26. Boston, MA: Birkhäuser Boston, 1997. http://dx.doi.org/10.1007/978-1-4612-1984-2_1.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Detlefs, David, e Ole Agesen. "Inlining of Virtual Methods". In ECOOP’ 99 — Object-Oriented Programming, 258–77. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48743-3_12.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Kolditz, Olaf. "Object-Oriented Programming Techniques". In Computational Methods in Environmental Fluid Mechanics, 207–31. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/978-3-662-04761-3_10.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Object Oriented Methods"

1

"Rigorous Object-Oriented Methods 2000 - Index". In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.0.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

André, Pascal, Annya Romanczuk, Jean-Claude Royer e Aline E. Vasconcelos. "Checking the Consistency of UML Class Diagrams Using Larch Prover". In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.1.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Clark, Tony. "Object-Oriented Refinement and Proof using Behaviour Functions". In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.2.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Fischer, Joachim, Eckhardt Holz, Martin v. Löwis e Andreas Prinz. "SDL-2000: A Language with a Formal Semantics". In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.3.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Hnatkowska, Bogumila, e Zbigniew Huzar. "Extending the UML with a Multicast Synchronisation". In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.4.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Lano, K., J. Bicarregui e A. Evans. "Structured Axiomatic Semantics for UML Models". In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.5.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Laue, Annette, Matthias Liedtke, Daniel Moldt e Ivana Tričković. "Statecharts as Protocols for Objects". In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.6.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Maibaum, TSE. "An Overview of The Mensurae Language: Specifying Business Processes". In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.7.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Simons, Anthony J. H. "On the Compositional Properties of UML Statechart Diagrams". In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.8.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Tyrrell, Malcolm, Andrew Butterfield e Alexis Donnelly. "OO-Motivated Process Algebra: A Calculus for CORBA-like Systems". In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.9.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Rapporti di organizzazioni sul tema "Object Oriented Methods"

1

Craft, Richard L., Donald R. Funkhouser e Gregory D. Wyss. The Use of Object-Oriented Analysis Methods in Surety Analysis. Office of Scientific and Technical Information (OSTI), maggio 1999. http://dx.doi.org/10.2172/7791.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Narayanan, S., Chetan Patel, Nicole L. Schneider e Hitesh Nandha. Integrating Object-Oriented Simulation and Interactive Optimization Methods for Logistics Systems Analysis. Fort Belvoir, VA: Defense Technical Information Center, febbraio 1997. http://dx.doi.org/10.21236/ada384930.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Dyer, Douglas E., e Mark A. Roth. An Eclectic Method for Object Oriented Database Design. Fort Belvoir, VA: Defense Technical Information Center, settembre 1992. http://dx.doi.org/10.21236/ada256439.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Holibaugh, Robert. Joint Integrated Avionics Working Group (JIAWG) Object-Oriented Domain Analysis Method (JODA). Version 3.1. Fort Belvoir, VA: Defense Technical Information Center, novembre 1992. http://dx.doi.org/10.21236/ada258468.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Henz, Brian J., e Dale R. Shires. SPOOCEFEM: The Simplified Parallel Object-Oriented Computing Environment for the Finite Element Method With Application: Liquid Composite Molding. Fort Belvoir, VA: Defense Technical Information Center, dicembre 2003. http://dx.doi.org/10.21236/ada419247.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Ti possono interessare anche gli elenchi estesi di opere sul tema "Object Oriented Methods":
Articoli di riviste Tesi Libri
Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!

Vai alla bibliografia