Thematische Bibliographien / Formats orientés objets

Inhaltsverzeichnis

Zeitschriftenartikel
Dissertationen
Bücher
Buchteile
Konferenzberichte
Berichte der Organisationen

Auswahl der wissenschaftlichen Literatur zum Thema „Formats orientés objets“

Autor: Grafiati

Veröffentlicht am 5. April 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Formats orientés objets" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Zeitschriftenartikel zum Thema "Formats orientés objets"

Yarosh, V. A., A. V. Efanov, S. S. Yastrebov und E. E. Privalov. „Application of Common Information Models for integration of rural electric networks information systems“. IOP Conference Series: Earth and Environmental Science 1138, Nr. 1 (01.02.2023): 012039. http://dx.doi.org/10.1088/1755-1315/1138/1/012039.

Der volle Inhalt der Quelle

Annotation:

Abstract Geoinformation systems (GIS), regime and technological software complexes (RTSC), Outage Management System (OMS), Computer-Aided Engineering (CAE), Supervisory Control And Data Acquisition (SCADA), automated information and measurement systems of power control and accounting (AIMS ECA) and other systems are widely used in the electric-power engineering. All systems have different ways of representation, storage, transformation of information and solve different problems, but initially use the description of the same objects of rural electric networks. A rural electric networks object is described as a set of graphical and semantic information. The information systems duplicate the information about the rural electric networks objects. Thus, the relevance of integration of information systems is obvious. The article considers representation of initial information about rural electric networks objects; variants and expressions describing the integration; application of exchange formats. The solution to integration problems lies in applying a universal format for exchanging the same type of data between different applications. All applications must support the Common Information Model (CIM). CIM is an object-oriented data description using XML terminology and methods. This model will solve the issue of integrating applications from different vendors and ensuring the independence of application users from its developer.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Chen, Pei Jiang. „Medical Image Display Based on DICOM“. Key Engineering Materials 480-481 (Juni 2011): 932–37. http://dx.doi.org/10.4028/www.scientific.net/kem.480-481.932.

Der volle Inhalt der Quelle

Annotation:

Modern medical diagnose has higher demand for image archiving and communication, the medical image display technology is mainly studied under the Windows platform. According to the analysis of the DICOM 3.0 standards and file formats, the general idea of the conversion from DICOM format to BMP format is proposed. Based on the object-oriented programming idea, a format conversion class called CDicomConvert is designed by using Visual C++. The class encapsulates many data and methods for DICOM image processing, and the class CDib is also improved. The result of the software running shows that it can convert the DICOM file to BMP format, and the medical image can be displayed under Windows.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Jedlička, Petr. „XML format for notation of object-oriented Petri net“. Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis 55, Nr. 3 (2007): 47–56. http://dx.doi.org/10.11118/actaun200755030047.

Der volle Inhalt der Quelle

Annotation:

Petri nets provide executive facilities for simulation of causality, non-determinism and parallelism in discreet systems. Since they are a mathematical model in substance, they offer theory, which can be successfully used to verification of models. Executability of Petri nets predestinates them for simulation and fast prototyping. Object Petri nets represent rather complicated class, based on hierarchical and high-level Petri nets. However their complexity is balanced by their ability to identify significant characteristics of system model and to visualize it in a graphic representation.Tools currently applied to modeling, simulation and verification of various Petri net variants use language PNML (Petri Net Markup Language) as an interchange format. However PNML is not capable of expression of object Petri net. This paper introduces prototype of XML-based language for modeling of parallel object-oriented systems described by object Petri net. This language, based on PNML, was named OPNML (Object Petri Net Markup Language).

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Gijsbers, P. J. A. „DELFTMDD: A tool for integration of independent models in a decision support system“. Water Science and Technology 39, Nr. 4 (01.02.1999): 193–201. http://dx.doi.org/10.2166/wst.1999.0206.

Der volle Inhalt der Quelle

Annotation:

The need for integrated analysis poses a request for integration of computer models, paying extra attention to interfaces, data management and user interaction. Sector wide standardization using data dictionaries and data exchange formats can be a great help in streamlining data exchange. However, this type of standardization can have some drawbacks for a generic framework for model integration. Another concept, called Model Data Dictionary (MDD), has been developed as an alternative for proper data management. The concept is a variant on the federated database concept, a concept where local databases maintain their autonomy, while an interconnection database provides a link for sharing data. The MDD is based on a highly generic data model for geographic referenced objects, which if needed facilitates mapping of the sector wide data dictionary. External interfaces provide, in combination with a data format mapping component, a link to SQL-based data sources and model specific databases. A generic Object Data Editor (ODE), linked to the MDD, has been proposed for provision of a common data editing facility for mathematical models. A test version of the combined MDD/ODE-concept has shown the applicability for integration of all kinds of geographic object oriented mathematical models (both simulation and optimization).

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Jaimez-González, Carlos R., José M. Hernández-Salinas und Betzabet García-Mendoza. „Web System to Support the Teaching of an Undergraduate Distributed Systems Course“. International Journal of Emerging Technologies in Learning (iJET) 19, Nr. 04 (24.04.2024): 71–85. http://dx.doi.org/10.3991/ijet.v19i04.46449.

Der volle Inhalt der Quelle

Annotation:

This paper introduces a web-based system that supports the teaching of an undergraduate (UG) distributed systems course. It specifically describes a web system that was developed to complement the functionality of web objects in the XML (WOX) framework. It allows for storing and visualizing the state of distributed objects, as well as displaying and executing methods through a web interface. Users can provide values for each of the parameters. The WOX framework is essential to note as it facilitates the development of distributed applications that are object-based and can interoperate among different object-oriented programming languages. WOX employs the XML format to represent objects and uses HTTP as the communication protocol.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Semenov, Vitaly Adolfovich, Semen Vasilyevich Arishin und Georgii Vitalyevich Semenov. „Formal Rules to Produce Object Notation for EXPRESS Schema-Driven Data“. Proceedings of the Institute for System Programming of the RAS 33, Nr. 5 (2021): 7–24. http://dx.doi.org/10.15514/ispras-2021-33(5)-1.

Der volle Inhalt der Quelle

Annotation:

Recently, product data management systems (PDM) are widely used to conduct complex multidisciplinary projects in various industrial domains. The PDM systems enable teams of designers, engineers, and managers to remotely communicate on a network, exchange and share common product information. To integrate CAD/CAM/CAE applications with the PDM systems and ensure their interoperability, a dedicated family of standards STEP (ISO 10303) has been developed and employed. The STEP defines an object-oriented language EXPRESS to formally specify information schemas as well as file formats to store and transfer product data driven by these schemas. These are clear text encoding format SPF and STEP-XML. Nowadays, with the development and widespread adoption of Web technologies, the JSON language is getting increasingly popular due to it being apropos for the tasks of object-oriented data exchange and storage, as well as its simple, easy to parse syntax. The paper explores the topic of the suitability of the JSON language for the unambiguous representation, storage and interpretation of product data. Under the assumption that the product data can be described by arbitrary information schemas in EXPRESS, formal rules for the producing JSON notation are proposed and presented. Explanatory examples are provided to illustrate the proposed rules. The results of computational experiments conducted confirm the advantages of the JSON format compared to SPF and STEP-XML, and motivate its widespread adoption when integrating software applications.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bernstein, H. J. „Transition to object-oriented data representations: interconversion between CIF and other formats“. Acta Crystallographica Section A Foundations of Crystallography 64, a1 (23.08.2008): C160. http://dx.doi.org/10.1107/s010876730809483x.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Jedlička, Petr. „XML as a format of expression of Object-Oriented Petri Nets“. Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis 52, Nr. 6 (2004): 45–54. http://dx.doi.org/10.11118/actaun200452060045.

Der volle Inhalt der Quelle

Annotation:

A number of object-oriented (OO) variants have so far been devised for Petri Nets (PN). However, none of these variants has ever been described using an open, independent format – such as XML. This article suggests several possibilities and advantages of such a description. The outlined XML language definition for the description of object-oriented Petri Nets (OOPN) is based on XMI (description of UML object-oriented models), SOX (simple description of general OO systems) and PNML (an XML-based language used for the description of structured and modular PN). For OOPN, the XML form of description represents a standard format for storing as well as for transfer between various OOPN-processing (analysis, simulation, ...) tools.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Nazaruks, Vladislavs. „The Knowledge Frame System based on Principles of Topological Functioning Model“. Applied Computer Systems 21, Nr. 1 (24.05.2017): 28–37. http://dx.doi.org/10.1515/acss-2017-0004.

Der volle Inhalt der Quelle

Annotation:

Abstract Understanding of domain phenomena and their interrelations is necessary for successful software development. The knowledge frame system based on principles of Topological Functioning Modelling (TFM) can be used for this purpose at the Computation Independent level within Model Driven Development. Research on knowledge formats showed that inferring in the closed world paradigm and similarity to the object-oriented paradigm made frames an attractive candidate to the knowledge representation format. Frames can hold information necessary for generation of the TFM. The knowledge system based on the principles of the TFM does not allow inferring ambiguous facts and leads to the more complete discovery of knowledge.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Hotan, A. W., W. van Straten und R. N. Manchester. „psrchive and psrfits: An Open Approach to Radio Pulsar Data Storage and Analysis“. Publications of the Astronomical Society of Australia 21, Nr. 3 (2004): 302–9. http://dx.doi.org/10.1071/as04022.

Der volle Inhalt der Quelle

Annotation:

AbstractA new set of software applications and libraries for use in the archival and analysis of pulsar astronomical data is introduced. Known collectively as the psrchive scheme, the code was developed in parallel with a new data storage format called psrfits, which is based on the Flexible Image Transport System (FITS). Both of these projects utilise a modular, object-oriented design philosophy. psrchive is an open source development environment that incorporates an extensive range of c++ object classes and pre-built command line and graphical utilities. These deal transparently and simultaneously with multiple data storage formats, thereby enhancing data portability and facilitating the adoption of the psrfits file format. Here, data are stored in a series of modular header–data units that provide flexibility and scope for future expansion. As it is based on FITS, various standard libraries and applications may be used for data input, output, and visualisation. Both psrchive and psrfits are made publicly available to the academic community in the hope that this will promote their widespread use and acceptance.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Dissertationen zum Thema "Formats orientés objets"

Li, Tientien. „An Object-Oriented Telemetry Format Management (TFM) System“. International Foundation for Telemetering, 1990. http://hdl.handle.net/10150/613427.

Der volle Inhalt der Quelle

Annotation:

International Telemetering Conference Proceedings / October 29-November 02, 1990 / Riviera Hotel and Convention Center, Las Vegas, Nevada
The telemetry format is a key piece of information utilized by both the flight segment and the ground segment of a mission. During the evolution of a mission, the telemetry format is usually going through many changes and refinements. Sometimes, a format may even evolve from mission to mission. The conventional Relational Data Base Management Systems (RDBMS) do not work well with telemetry formats because of the multidimensional nature of most telemetry formats. To reduce the complexity of managing dynamic telemetry formats, an innovative Telemetry Format Management (TFM) system has been designed. The TFM system utilizes new object-oriented concepts in managing the creation, the evolution, and the utilization of telemetry formats. It supports common telemetry formats including: Time-Division Multiplexed (TDM) telemetry formats and packet telemetry formats. By using the TFM system, one can greatly simplify most tasks associated with the development of telemetry formats. This paper describes the architecture, design concepts, and operational philosophy of the TFM system.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Carpentier, Thibaut. „Orchestrating a software ecosystem for the creation, manipulation, and distribution of spatial audio“. Electronic Thesis or Diss., Sorbonne université, 2024. http://www.theses.fr/2024SORUS632.

Der volle Inhalt der Quelle

Annotation:

Ce mémoire présente une sélection structurée de travaux de recherche et de développements logiciels, réalisés au cours des dix dernières années, sur la spatialisation sonore et la réverbération artificielle, et leurs applications dans le domaine de l’informatique musicale. Les sujets traités couvrent différentes étapes de la chaîne de production pour l’audio spatialisé, en particulier dans le format Ambisonic. Les études sélectionnées abordent un certain nombre de défis scientifiques et technologiques, notamment l’exploitation d’approches holophoniques dans des réseaux de haut-parleurs à haute densité, le développement d’opérateurs de transformations pour des manipulations créatives de scènes sonores, l’analyse en harmoniques sphériques de fonctions de directivité, et la production et la diffusion de contenus audio orientés objets. Cet ensemble de travaux s’articule autour du développement d’un écosystème logiciel complet destiné à la création, la manipulation et la distribution de scènes sonores spatialisées. Ces études illustrent mes contributions personnelles à ce domaine et démontrent des avancées scientifiques, technologiques et expérimentales dans les disciplines du traitement du signal, de l’acoustique physique et de l’ingénierie logicielle. La plupart des travaux qui composent ce manuscrit ont été préalablement publiés sous forme d’articles de revues ou d’actes de conférence
This dissertation presents a structured selection of research works and software developments, carried out over the last ten years, on sound spatialization and artificial reverberation, with an emphasis on computer music applications. Topics cover different stages of the spatial audio production workflow, particularly in the Ambisonic format. The selected studies address a number of scientific and technological challenges, including the use of holophonic approaches in high-density loudspeaker arrays, the development of transformation operators for creative manipulations of sound scenes, the spherical harmonics analysis of directivity functions, and the production and delivery of object-based audio. This body of work revolves around the development of a comprehensive software ecosystem enabling the creation, manipulation, and distribution of spatialized sound scenes. These studies illustrate my personal contributions to this field, and demonstrate scientific, technological and experimental advances in the disciplines of signal processing, physical acoustics, and computer science. Most of the works that makes up this dissertation has been previously published, in the form of journal articles or conference proceedings

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Roth, Andreas. „Specification and verification of object oriented software components“. Karlsruhe : Univ.-Verl. Karlsruhe, 2006. http://www.uvka.de/univerlag/volltexte/2006/130/.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Naser, Taher A. J. „A flexible approach for mapping between object-oriented databases and xml. A two way method based on an object graph“. Thesis, University of Bradford, 2011. http://hdl.handle.net/10454/5505.

Der volle Inhalt der Quelle

Annotation:

One of the most popular challenges facing academia and industry is the development of effective techniques and tools for maximizing the availability of data as the most valuable source of knowledge. The internet has dominated as the core for maximizing data availability and XML (eXtensible Markup Language) has emerged and is being gradually accepted as the universal standard format for platform independent publishing and exchanging data over the Internet. On the other hand, there remain large amount of data held in structured databases and database management systems have been traditionally used for the effective storage and manipulation of large volumes of data. This raised the need for effective methodologies capable of smoothly transforming data between different formats in general and between XML and structured databases in particular. This dissertation addresses the issue by proposing a two-way mapping approach between XML and object-oriented databases. The basic steps of the proposed approach are applied in a systematic way to produce a graph from the source and then transform the graph into the destination format. In other words, the derived graph summarizes characteristics of the source whether XML (elements and attributes) or object-oriented database (classes, inheritance and nesting hierarchies). Then, the developed methodology classifies nodes and links from the graph into the basic constructs of the destination, i.e., elements and attributes for XML or classes, inheritance and nesting hierarchies for object-oriented databases. The methodology has been successfully implemented and illustrative case studies are presented in this document.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

MORE, JOHN Andrew. „EXTENSIBILITY OF AN OBJECT-ORIENTED COMPILIER INTERMEDIATE WITH A FOCUS ON CLONING“. University of Cincinnati / OhioLINK, 2005. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1113329790.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Naser, Taher Ahmed Jabir. „A flexible approach for mapping between object-oriented databases and XML : a two way method based on an object graph“. Thesis, University of Bradford, 2011. http://hdl.handle.net/10454/5505.

Der volle Inhalt der Quelle

Annotation:

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Taniar, David Randy. „Query optimization for parallel object-oriented database systems“. Thesis, 1997. https://vuir.vu.edu.au/15272/.

Der volle Inhalt der Quelle

Annotation:

This thesis studies parallel query optimization for object-oriented queries. Its main objective is to investigate how performance improvement of object-oriented query processing can be achieved through processor parallelism.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bücher zum Thema "Formats orientés objets"

1926-, Goldsack Stephen J., und Kent, S. J. H. 1966-, Hrsg. Formal methods and object technology. London: Springer, 1996.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Roth, Andreas. Specification and verification of object oriented software components. Karlsruhe: Univ.-Verl. Karlsruhe, 2006.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

FMCO 2008 (2008 Amsterdam, Netherlands). Formal methods for components and objects: 6th international symposium. Berlin: Springer, 2008.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

N.Z.) SOFL+MSVL (Workshop) (3rd 2013 Queenstown. Structured object-oriented formal language and method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers. Cham: Springer, 2014.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

FMCO 2003 (2003 Leiden, Netherlands). Formal methods for components and objects: Second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures. Berlin: Springer, 2004.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Castagna, Giuseppe. ECOOP 2013 – Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

service), SpringerLink (Online, Hrsg. ECOOP 2012 – Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Elie, Najm, Nestmann Uwe und Stevens Perdita, Hrsg. Formal methods for open object-based distributed systems: 6th IFIP WG 6.0 international conference, FMOODS 2003, Paris, France, November 2003 : proceedings. Berlin: Springer-Verlag, 2003.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

International Conference on Formal Methods for Open Object-Based Distributed Systems (12th 2010 Amsterdam, Netherlands). Formal techniques for distributed systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. Berlin: Springer, 2010.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

J, Tarr Michael, und Bülthoff Heinrich H, Hrsg. Object recognition in man, monkey, and machine. Cambridge, Mass: MIT Press, 1998.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Buchteile zum Thema "Formats orientés objets"

Nissanke, Nimal. „Object Oriented Specification“. In Formal Specification, 141–62. London: Springer London, 1999. http://dx.doi.org/10.1007/978-1-4471-0791-0_8.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lano, Kevin. „Introduction“. In Formal Object-Oriented Development, 1–14. London: Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3073-4_1.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lano, Kevin. „The Software Development Process“. In Formal Object-Oriented Development, 15–43. London: Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3073-4_2.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lano, Kevin. „From Analysis to Formal Specification“. In Formal Object-Oriented Development, 44–83. London: Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3073-4_3.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lano, Kevin. „Specification Notations and Techniques“. In Formal Object-Oriented Development, 84–136. London: Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3073-4_4.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lano, Kevin. „Design and Refinement“. In Formal Object-Oriented Development, 137–75. London: Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3073-4_5.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lano, Kevin. „Concurrent and Real-time Behaviour“. In Formal Object-Oriented Development, 219–56. London: Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3073-4_7.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lano, Kevin. „Implementation and Code Generation“. In Formal Object-Oriented Development, 257–85. London: Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3073-4_8.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Konferenzberichte zum Thema "Formats orientés objets"

Moreira, Ana M. D., und Robert G. Clark. „Os Métodos Formais na Análise de Orientação por Objectos“. In Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 1993. http://dx.doi.org/10.5753/sbes.1993.24408.

Der volle Inhalt der Quelle

Annotation:

O método ROOA (Rigorous Object-Oriented Analysis) introduz rigor no processo de análise orientado pelos objectos, oferecendo um conjunto de regras que permite produzir sistematicamente um modelo formal de análise orientado pelos objectos a partir dos requisitos originais. Este modelo, escrito na linguagem LOTOS, proporciona uma especificação precisa e não ambígua dos requisitos iniciais do sistema. Como à especificação é executável, podemos usar a prototipagem rápida para validar e refinar o modelo formal.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Kudasov, Nikolai, und Violetta Sim. „Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects“. In FTfJP '22: 24th ACM International Workshop on Formal Techniques for Java-like Programs. New York, NY, USA: ACM, 2022. http://dx.doi.org/10.1145/3611096.3611103.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Hardwick, Martin, und Blair R. Downie. „On Object-Oriented Databases, Materialized Views, and Concurrent Engineering“. In ASME 1991 International Computers in Engineering Conference and Exposition. American Society of Mechanical Engineers, 1991. http://dx.doi.org/10.1115/edm1991-0187.

Der volle Inhalt der Quelle

Annotation:

Abstract Concurrent engineering seeks to reduce the length of the design life cycle by allowing multiple engineers to work on a design concurrently using their different design tools. A major stumbling block in achieving this goal is that most design tools use different file formats. Emerging standards such as STEP/PDES/EXPRESS reduce this barrier, but conformance to standards is not enough. One reason design tools have different file formats is because each tool requires a different perspective or view of the design. Engineering databases must provide designers with the ability to define application specific views of design data, and the ability to propagate changes among those related views. In this paper, we examine how an object-oriented database system can support the definition of application views using a class hierarchy and multiple inheritance.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Hamie, Ali, John Howse und Stuart Kent. „Modular Semantics for Object-Oriented Models“. In 3rd BCS-FACS Northern Formal Methods Workshop. BCS Learning & Development, 1998. http://dx.doi.org/10.14236/ewic/nfm1998.11.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Clark, Tony. „A Semantics for Object-Oriented Systems“. In 3rd BCS-FACS Northern Formal Methods Workshop. BCS Learning & Development, 1998. http://dx.doi.org/10.14236/ewic/nfm1998.5.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bruel, J. M., R. B. France, M. M. Larrondo-Petrie, B. Chintapally und G. K. Raghavan. „CASE-based Rigorous Object-Oriented Modeling“. In Proceedings of the BCS-FACS Northern Formal Methods Workshop. BCS Learning & Development, 1996. http://dx.doi.org/10.14236/ewic/fa1996.4.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Nasser, Taher, Reda Alhajj und Mick Ridley. „Flexible approach for representing object oriented databases in XML format“. In the 10th International Conference. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1497308.1497387.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Feiks, F., und D. Hemer. „Specification matching of object-oriented components“. In 1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03. IEEE, 2003. http://dx.doi.org/10.1109/sefm.2003.1236220.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Brezhnev, R. V., Yu A. Maglinets, K. V. Raevich und V. G. Margaryan. „A tool for analysis of the influence of the Earth surface soil layer temperature on the inhomogeneity of grain crops development by the Earth remote sensing data“. In Spatial Data Processing for Monitoring of Natural and Anthropogenic Processes 2021. Crossref, 2021. http://dx.doi.org/10.25743/sdm.2021.97.30.049.

Der volle Inhalt der Quelle

Annotation:

The work is devoted to the analysis of the influence of the earth surface temperature on the inhomogeneity of the agricultural crops development. The aim of the work is to expand the object-relational model for describing the inhomogeneous spatial structure of a spatial object by including surface temperature as one of the key features that allow determining the cause of vegetation heterogeneity, along with relief features, differences in the soil chemical composition and other significant characteristics. Experimental studies are carried out at sites located in Sukhobuzimsky district of Krasnoyarsk Territory, for which agricultural crops (grains) and the their sowing dates are known a priori, which allows stating any facts of the vegetation development deviation from the normative trajectory with reference to the sequence and timing norms of phenological phase changing. Landsat-8 OLI (Operational Land Imager) TIRS (Thermal Infrared Sensor) data are used as initial data for temperature measurements. Objects of research are presented in the form of a polygon map in SHP format. The temperature values are calculated using the algorithm for estimating the earth temperature developed by Weng Q., Lu D. and Schubring J. The surface reflectance values are the NDVI vegetation index values also obtained from the Landsat-8 OLI data that underwent atmospheric correction by the DOS method. The research results are implemented in the form of a software module and integrated into the Earth remote monitoring (ERM) system of SFU Space and Information Technologies Institute (SITI). The results are used within the concept of object-oriented monitoring of spatial objects developed by the team of authors, and represent index images of the surface temperature of objects, as well as vector schematic maps.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Grandy, H., K. Stenzel und W. Reif. „Object oriented verification kernels for secure Java applications“. In Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05). IEEE, 2005. http://dx.doi.org/10.1109/sefm.2005.28.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Berichte der Organisationen zum Thema "Formats orientés objets"

Hartrum, Thomas C., und Paul Bailor. A Formal Extension to Object Oriented Analysis Using Z. Fort Belvoir, VA: Defense Technical Information Center, Oktober 1994. http://dx.doi.org/10.21236/ada290911.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Grajales Bustamante, Juan David, Miguel Alberto Becerra und Leonardo Serna Guarín. Comunicación unificada de voz sobre protocolo de internet. Instituto Tecnológico Metropolitano, November 2024. http://dx.doi.org/10.22430/reporte.6682.

Der volle Inhalt der Quelle

Annotation:

La presente obra tiene por objeto conocer e implementar una solución de comunicación unificada soportada por una plataforma de voz sobre el protocolo de internet. El desarrollo se orienta, al aprovechamiento de recursos, utilizando herramientas de uso abierto con tecnologías de mínimo costo. Para infraestructuras de comunicaciones existentes, se priorizan requisitos de implementación orientados a la optimización de recursos con niveles mínimos de seguridad en el sistema. Así mismo, el libro se presenta como una herramienta de apoyo y fortalecimiento en cursos de la estructura curricular de programas de TI (Tecnologías de la Información) y en especial para la Tecnología e Ingeniería en Telecomunicaciones de la Facultad de Ingenierías del ITM. Los cursos donde se apoya su desarrollo forman parte de los planes de estudio de pregrado como Redes de Computadoras, Servicios en Red, Redes de Telecomunicaciones y Teoría de Teletráfico.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Alcina de Fortoul, Sandra. Inteligencia emocional, desde el enfoque fenomenológico en la calidad de desempeño de la gerencia administrativa en la Universidad Autónoma de Chile. Universidad Catolica de Temuco; Semana Internacional Chile 2021, Cartagena, Colombia., November 2021. http://dx.doi.org/10.32457/2050012728/980620214.

Der volle Inhalt der Quelle

Annotation:

La investigación se orientó en la interpretación de la inteligencia emocional, desde el enfoque fenomenológico en la calidad del desempeño de la gerencia administrativa en la Universidad Autónoma de Chile, Sede Temuco. El estudio se basó en el paradigma interpretativo, bajo una investigación cualitativa con apoyo en el método fenomenológico. Los informantes que fueron objeto de la investigación, tres (3) docentes gerentes; de la Universidad Autónoma de Chile, Sede Temuco. Se aplicó la observación directa, también se empleó la entrevista. Para la validación de la información, se usó la categorización y la triangulación, lo cual permitió comprender e interpretar la situación que se presenta en la investigación. Por su parte, los informantes claves dieron sus aportes para conocer la esencia en el manejo de la inteligencia emocional que no se aprecia de forma explícita por parte de los gerentes, es decir solo de observa el manejo de personal con atención a las políticas implementadas en la mencionada universidad. Desde este enfoque, la gerencia se encuentra en un proceso de expansión institucional y de continuo replanteamiento de sus formas y contenidos; estos cambios están presentes en el ámbito universitario y los mismos generan características donde cada organización puede interpretar como una oportunidad o como una amenaza desarrollando diferentes actitudes frente a las transformaciones, se observa entonces la carencia de un enfoque sistémico para el desarrollo integral de la gerencia, con la puesta en práctica por parte del gerente con políticas y estrategias aisladas, que no han logrado los resultados esperados, motivo por el cual surge la necesidad del gerente en un proceso donde intervienen múltiples categorías concertadas entre sí para el beneficio de la gerencia. Descriptores: inteligencia emocional calidad de desempeño, gerencia.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Serrano Angarita, Nini Sorell. Narrativa de enfermería: teoría de la incertidumbre frente a la enfermedad. Ediciones Universidad Cooperativa de Colombia, April 2023. http://dx.doi.org/10.16925/gcnc.61.

Der volle Inhalt der Quelle

Annotation:

La profesión de enfermería forma parte del servicio que se pone a disposición del otro para mejorar su calidad de vida, lo que se propicia en un entorno con un sinnúmero de problemas que requieren ser atendidos. En este sentido, los planeamientos teóricos de la enfermera Merle H. Mishel sobre la incertidumbre han sido relevantes para analizar las reacciones que presentan los individuos ante una enfermedad, ya sea en su papel de pacientes o en su rol de familiar o persona cercana. Algunas veces las personas no tienen la capacidad de establecer un significado de los hechos relacionados con la enfermedad, lo que genera ciertas confusiones e impide proporcionar valores definidos a objetos u hechos, algo que se debe en gran medida a la falta de información o conocimientos. En ocasiones, las personas tienen dificultades para atribuir un significado a situaciones relacionadas con enfermedades, lo cual puede llevar a confusiones y a no poder valorar objetos u hechos de manera clara debido a la falta de información o conocimientos. De ahí que surja la importancia de la adaptación, como un elemento dependiente de las estrategias que el personal de enfermería ha de implementar para manipular la incertidumbre en la dirección deseada, considerándola como una oportunidad para generar aspectos positivos tanto en los pacientes como en sus familiares. Por ende, es muy valioso que el personal de enfermería conozca la teoría en mención, con el objetivo de que esté en la capacidad de guiar u orientar a los pacientes, haciendo que estos lo vean como una oportunidad y logren adaptarse.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!