257,622 Hits in 5.5 sec

Development of methodology for data and knowledge warehouse design in computer systems for intellectual data processing

Pavlo Sahaida
2017 Tehnologìčnij Audit ta Rezervi Virobnictva  
The ontology of modeling technologies for the design and development of attribute-oriented DKWs and the theory of category theory is presented in Fig. 5 .  ...  Categorical-ontological approach to modeling and design makes it possible to formally substantiate subjective results of knowledge engineering and use objects of category theory in the form of design patterns  ... 
doi:10.15587/2312-8372.2018.123527 fatcat:7iorodtkpvh7bf52gyrvkwigd4

A Survey of Agent-Oriented Methodologies [chapter]

Carlos A. Iglesias, Mercedes Garijo, José C. González
1999 Lecture Notes in Computer Science  
It discusses what approaches have been followed (mainly extending existing objectoriented and knowledge engineering methodologies), the suitability of these approaches for agent modelling, and some conclusions  ...  This article introduces the current agent-oriented methodologies.  ...  Formal Approaches Several formal approaches have tried to bridge the gap between formal theories and implementations [10] .  ... 
doi:10.1007/3-540-49057-4_21 fatcat:jhadhkrfjbbs5fqumufhlokwaq

A Review of Object-Oriented Approaches in Formal Methods

A. Ruiz-Delgado
1995 Computer journal  
In this paper we review some of these techniques and discuss problems and issues relevant to the combination of formal methods and object orientation.  ...  This paper presents a survey of recent approaches in the application of the object-oriented paradigm to formal specification.  ...  ACKNOWLEDGEMENTS The financial support provided to the first author by the European Commission through the research programme Human Capital and Mobility is acknowledged.  ... 
doi:10.1093/comjnl/38.10.777 fatcat:ls2fzkgannbrhn2qox7mrq2gye

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.  ...  We consider two broad classes of methodologies -the process-oriented approach (also known as the structured approach) and the object-oriented approach.  ...  Empirical findings will allow grounded theories to enable students develop decision-oriented and critical perspectives regarding methodologies and their subsequent use.  ... 
dblp:conf/amcis/KanungoP05 fatcat:cnibwmssrjctbi5mry4f5aecnu

An Overview of Current Trends in European AOSE Research

Carole Bernon, Massimo Cossentino, Juan Pavón
2005 Informatica (Ljubljana, Tiskana izd.)  
The agent oriented approach is doing great steps towards its (not yet reached) maturity; from a software engineering point of view, it is today positively used for the analysis and design of complex systems  ...  We present recent trends in modelling agents and multi-agent systems, and then we review the different activities in the agent development process: from analysis and design to implementation, verification  ...  Acknowledgement We would like to thank all the members of the AgentLink AOSE Technical Forum Group for their active participation during the AL3 Technical Fora and their contribution in the off-line work  ... 
dblp:journals/informaticaSI/BernonCP05 fatcat:7x732fcq6jhgpov2hmtznnqt7a

Database Application Development as an Object Modeling Activity

Manfred A. Jeusfeld, Michael Mertikas, Ingrid Wetzel, Matthias Jarke, Joachim W. Schmidt
1990 Very Large Data Bases Conference  
To bridge the gap between semantics and computation, they also include abstract machine-based formal specifications and transformational theories.  ...  The DAIDA project has made an attempt of formally defining and relating declarative and computational entities considered relevant to the process of database application development.  ...  Our answer to these questions has been the integration of . a semantic modeling language (TDL) which supports an object-oriented and predicative style of conceptual specification, . a transaction-oriented  ... 
dblp:conf/vldb/JeusfeldMWJS90 fatcat:hqc3bh4hvrfmvcoe35ykuffijq

The Evolution of Tropos [chapter]

John Mylopoulos, Jaelson Castro, Manuel Kolp
2013 Seminal Contributions to Information Systems Engineering  
The Tropos project was launched in the Fall of 1999 with main objective the development of a methodology for building agent-oriented software systems.  ...  The methodology was grounded on i* and was first presented in full at the CAiSE 2001 conference. This short article details some of the directions that were pursued in the project since that time. J.  ...  Introduction The Tropos project was launched in the Fall of 1999 with main objective the development of a methodology for building agent-oriented software systems.  ... 
doi:10.1007/978-3-642-36926-1_22 fatcat:7adpwtxz4na33iyahk73eh4gbe

On Practice of Big Software Designing

Lin Yang, Wei Sun, Chi-long Zhao, Honglei Tu
2010 Journal of Software  
became popular in object-oriented, meta-data oriented, and formalization eighties.  ...  Object-oriented implementation is a method that emphasizes on the use of object-oriented method in detail design and coding.  ... 
doi:10.4304/jsw.5.1.81-88 fatcat:ivttv7nkpncejapmnfty77aoee

Ontological Foundations for Agent-Oriented Organizational Modeling

Renata S. S. Guizzardi, Giancarlo Guizzardi, João Paulo A. Almeida, Evellin C. S. Cardoso
2008 International i* Workshop  
of conceptual modeling grammars and models; (ii) the ARKnowD agent-oriented software engineering methodology to develop knowledgecentered systems and processes; and (iii) methodological contributions to  ...  business process modeling and reengineering.  ...  Thus, a second objective of our research is to contribute to the language and methodology unification efforts of the agent community.  ... 
dblp:conf/istar/GuizzardiGAC08 fatcat:rpkf4h3cgbgulgkptzfxwsftyu

Page 159 of Computational Linguistics Vol. 18, Issue 2 [page]

1992 Computational Linguistics  
The use of an object-oriented methodology for natural language processing is very attractive, and the use of inheritance offers a number of advantages such as ab- straction and generalization, information  ...  Introduction Ideally, a linguistic formalism combining the best of the object-oriented approach and the unification-based approach would be realized in a constraint-based architecture for an object-oriented  ... 

An integrated approach to system modeling using a synthesis of artificial intelligence, software engineering and simulation methodologies

Paul A. Fishwick
1992 ACM Transactions on Modeling and Computer Simulation  
Representation Formalisms and Methods-represen - tatzons; 1.6.1 [Simulation and Modeling] Simulation Theory-model classification, systems theory; 1.6.5 [Simulation and Modeling] Model  ...  Our approach is similar to object oriented design principles espoused in SE: begin with an object representation and then produce declarative and functional model types.  ... 
doi:10.1145/149516.149530 fatcat:jtvkperfenbodounasywvzup6i

Abstract object types for databases [chapter]

H. -D. Ehrich, A. Sernadas, C. Sernadas
1988 Lecture Notes in Computer Science  
In analogy to algebraic data type theory, we propose mathematical models for the basic notions of object, object type and abstract object type.  ...  Our approach combines the object-oriented paradigm with experiences in formal methods in software engineering, especially algebraic data type theory, logical approaches to systems specification and design  ...  For making progress in object-oriented information systems design, we feel it is essential to base specification languages and methodologies and implemetatiun methods on a careful study of logic and semantic  ... 
doi:10.1007/3-540-50345-5_10 fatcat:lz3i7wzojzbovcrx6wgcrsr5ri

Agent-Oriented Software Engineering: The State of the Art [chapter]

Michael Wooldridgey, Paolo Ciancarini
2001 Lecture Notes in Computer Science  
We then go on to examine a number of prototype techniques proposed for engineering agent systems, including methodologies for agent-oriented analysis and design, formal specification and verification methods  ...  In this article, we argue that intelligent agents and multi-agent systems are just such tools. We begin by reviewing what is meant by the term "agent", and contrast agents with objects.  ...  primarily on the theory of agents, but also contains an extensive review of agent architectures and programming languages.  ... 
doi:10.1007/3-540-44564-1_1 fatcat:afxxzbbww5azveaju6vx3kpt7q

A Comparative Analysis of RE Approaches for MAS

Anuja Soni
2014 International Journal of Computer Applications  
Therefore to reduce the development time and cost, it necessitates a systematic and structured Requirement Engineering (RE) approach to establish a comprehensive understanding of the requirements addressed  ...  Detecting the requirements errors at the final stage intensifies the efforts of developers that may delay system delivery and overrun cost.  ...  and validation using formal concept analysis (FCA) characterized by FCA lattice and CK theory.  ... 
doi:10.5120/18844-0259 fatcat:dmkzczxwqvds5jmtw7u6mw7bqe

Formal Methods in Requirements Phase of SDLC

S. K.Pandey, Mona Batra
2013 International Journal of Computer Applications  
The process of software development complicates with the raising complexity of the software system. As a result, formal methods are currently used to model complex security critical systems.  ...  Accordingly, there appears a need for a critical review of these formal methods.  ...  models and theories.  ... 
doi:10.5120/12020-8017 fatcat:jnock2ajcbcgddqwo5nksnijty
« Previous Showing results 1 — 15 out of 257,622 results