396,948 Hits in 9.2 sec

Guest editorial object-oriented methods for distributed control architectures

2002 IEEE Transactions on Robotics and Automation  
Special thanks also go to the Transactions Editorial Board for their support and help from the initial stage of proposal preparation to the final stage of publication, and to the many anonymous reviewers  ...  Davide Brugali, Guest Editor University of Bergamo School of Engineering 5-24044 Dalmine, Italy  ...  Shin, proposes a software architecture based on a combination of object-oriented models and executable formal specifications.  ... 
doi:10.1109/tra.2002.805247 fatcat:z7muwrnk6vajth7imjytkhhaeq

Process and Object Models in Software Engineering: A Study of Their Choice and Subsequent Use

Shivraj Kanungo, Srinivas Prasad
2005 Americas Conference on Information Systems  
We formalize the question whether there is a difference between object-oriented and structured approaches when it comes to requirements modeling.  ...  Modeling approach refers to the part of system development that involves investigating the problems and requirements of the users community and from that, developing a specification of the desired system  ...  For instance, Duserick (1993) reports tentative findings about how object-oriented approaches produce " better results" than a process-oriented approach to systems analysis.  ... 
dblp:conf/amcis/KanungoP05 fatcat:cnibwmssrjctbi5mry4f5aecnu

Generic ownership

Alex Potanin, James Noble, Robert Biddle
2004 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '04  
In particular, I propose to devise a practical way of integrating ownership control into existing programming languages in a way that will help with adoption of ownership in the general programming community  ...  This research abstract outlines the work I plan to do as part of my PhD.  ...  After the development of the formal and practical side of OGJ is completed, the plan is to go back to using a snapshot query-based debugger to conduct a second extensive study of a corpus of heap snapshots  ... 
doi:10.1145/1028664.1028692 dblp:conf/oopsla/PotaninNB04 fatcat:7adue2reljgh7ephfxtrrool6m

Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997

H. Bowman, J. Derrick, E. Brinksma
2000 IEEE Transactions on Software Engineering  
It seeks to investigate how formal methods can be used to specify, develop, and verify open object-based distributed systems More precisely, the objective of FMOODS is to represent work at the convergence  ...  of three important and related fields: formal methods, distributed systems, and object-based technology.  ...  Specifically, the Concurrent Object-Oriented Petri Nets (CO-OPN/2) model is introduced, which is a hybrid approach to system specification in which order sorted algebra and algebraic Petri nets are used  ... 
doi:10.1109/tse.2000.859528 fatcat:bknyqdtgvfexnebkkgrkm2yaza

Systematic Development of Concurrent Object-Oriented Programs

Paulo Borba
1998 Electronical Notes in Theoretical Computer Science  
Our approach is based on the integration of formal methods with object-oriented languages.  ...  Concurrent object-oriented programming is actually a compromise between shared variable and communication based approaches for concurrency.  ... 
doi:10.1016/s1571-0661(05)80227-0 fatcat:boiy5mgfpjad3huw7nx5swpnqe

A Model-Based and Goal-Oriented Approach for the Conceptual Design of Smart Grid Services

Miguel Angel Orellana, Jose Reinaldo Silva, Eduardo L. Pellini
2021 Machines  
We suggest coupling the approach based on goal-oriented requirements with model-based engineering to support such a model.  ...  Altogether, these motivations lead to more abstract design approaches to co-generation-distributed systems, such as those based on goal-oriented requirements used to model smart grids.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/machines9120370 fatcat:lpntbnulrbagvbjs4yembdt6re

Software Engineering in Industrial Automation: State-of-the-Art Review

Valeriy Vyatkin
2013 IEEE Transactions on Industrial Informatics  
This paper presents one perspective on recent developments related to software engineering in the industrial automation sector that spans from manufacturing factory automation to process control systems  ...  The survey focuses mainly on research publications which are believed to be representative of advanced industrial practices as well.  ...  However, the practical use of formal models in industrial practice is not yet common.  ... 
doi:10.1109/tii.2013.2258165 fatcat:sx4qitarozdehokrdm2cwrp5oe

Object-Oriented Approach for Requirements Specification

Maria Naumcheva
2022 Requirements Engineering: Foundation for Software Quality  
It provides means of system modeling without using specific notation, which often becomes a barrier in formal methods adoption.  ...  This approach is based on the object-oriented technology as follows: the development process is seamless from the requirements specification to implementation and verification.  ...  Object-oriented requirements In the proposed approach, requirements become software: they are written in a programming language, and are stored in a version control system.  ... 
dblp:conf/refsq/Naumcheva22 fatcat:yxifhyhks5gffcc3b63bpnopq4

Component object modeling for beam physics problems

S.N. Andrianov
1999 Proceedings of the 1999 Particle Accelerator Conference (Cat. No.99CH36366)  
In this paper a new approach based on symbolic representation of high-order aberrations in matrix forms is described. We discuss all the pros and cons of such approach.  ...  In recent years sufficient success was achieved in the modeling and optimization of beamlines on the base of highorder maps.  ...  In this paper we suggest a new approach which is based on symbolic representation of necessary information on the one hand and object-oriented design approach on the other hand.  ... 
doi:10.1109/pac.1999.792909 fatcat:tczp4wwagjc23oatsvefi25n4y

On the suitability of modeling approaches for engineering distributed control systems

A. Luder, L. Hundt, S. Biffl
2009 2009 7th IEEE International Conference on Industrial Informatics  
There is a wide range of modeling approaches available from traditional automation, domain-oriented systems engineering, and software engineering.  ...  Unfortunately, there are very few reports on the pros and cons of these modeling approaches for the practical design tasks along the engineering process for distributed control systems (DCSs).  ...  model-based approaches.  ... 
doi:10.1109/indin.2009.5195844 fatcat:iia5w6rjlnggxe4z2rtjmz5xhq

Dynamic Composition and Analysis of Modern Service-Oriented Information Systems [chapter]

Habib Abdulrab, Eduard Babkin, Jeremie Doucy
2013 Dynamics of Information Systems: Algorithmic Approaches  
This chapter proposes the approach to solution of the stated problem based on such concepts as model-driven architecture (MDA), ontology modelling and logical analysis.  ...  Formal language of relational logic is proposed as a key element of the proposed approach which is responsible for logical analysis and service workflow generation.  ...  Practice-oriented modeling language of Alloy facilitates declaration of logic sentences in the text object-oriented form and provides convenient means to organize large models into tractable components  ... 
doi:10.1007/978-1-4614-7582-8_2 fatcat:jmcrozzob5acjlc6nqdywunjzy

Crews: Towards Systematic Usage of Scenarios, Use Cases and Scenes [chapter]

Matthias Jarke
1999 Electronic Business Engineering  
engineering as a basis to develop a framework of approaches and research issues in the field.  ...  In the wake of object-oriented software engineering, use cases have gained enormous popularity as tools for bridging the gap between electronic business management and information systems engineering.  ...  Thanks are due to the task leaders Klaus Pohl, Colette Rolland, Pierre-Yves Schobbens, Alistair Sutcliffe and to numerous co-workers and members of the industrial advisory board.  ... 
doi:10.1007/978-3-642-58663-7_25 fatcat:whl46rzsffhktl66g2x7lxxkxu

Applying goal-oriented requirement engineering and refence architecture for microgrid systems

Miguel Angel Orellana Postigo, Javier Martinez Silva, José Reinaldo Silva
2020 Brazilian Applied Science Review  
Considering the inherent complexity of these systems -generally heterogeneous, open and distributed -formal modeling is a key issue for the design of automated electrical systems to fit user experience  ...  In this article we propose a systemic approach that combines consolidated reference architectures and modern goal-oriented requirements engineering methods in the early steps of microgrid design.  ...  ACKNOWLEDGMENT The authors acknowledge their respective institutions for the support to their research activities: University of Amazon State (UEA), FAPEAM, and Escola Politécnica, University of São Paulo  ... 
doi:10.34115/basrv4n3-014 fatcat:oo5bhinbgzfvbexwmbecp5r26e

Ontology-Based Design of Space Systems [chapter]

Christian Hennig, Alexander Viehl, Benedikt Kämpgen, Harald Eisenmann
2016 Lecture Notes in Computer Science  
Approach: Re-hosting of existing Data Model and System Model in OWL 2, additional formalization of operational knowledge 7 Object-Oriented Satellite System Model Object-Oriented 10-23 CDM UML  ...  Approach: Re-hosting of existing Data Model and System Model in OWL 2, additional formalization of operational knowledge 7 Object-Oriented Satellite System Model Object-Oriented 10-23 CDM UML  ... 
doi:10.1007/978-3-319-46547-0_29 fatcat:5js5oawaznhjbd7ez7oeehwmw4

Human work as context for development of object oriented modelling techniques [chapter]

J. J. Kaasbøll, O. Smørdal
1996 Method Engineering  
Computer systems are increasingly being used for communication and coordination of work, while object-oriented modelling techniques aim at modelling the problem domain of the computer system.  ...  We have carried out two alternative approaches to development of object oriented techniques based on these ideas, and we outline these development processes.  ...  Suggestions for change of techniques Based on a literature survey of object-orientation, Bjomestad (1994) summarises the core of object -orientation to consist of the following: • encapsulated objects  ... 
doi:10.1007/978-0-387-35080-6_8 fatcat:v2bzaamibrfwbpb6wm3btfboqa
« Previous Showing results 1 — 15 out of 396,948 results