A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Development of methodology for data and knowledge warehouse design in computer systems for intellectual data processing
2017
Tehnologìčnij Audit ta Rezervi Virobnictva
Preserved Fulltext
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]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
1995
Computer journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2005
Americas Conference on Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2005
Informatica (Ljubljana, Tiskana izd.)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1990
Very Large Data Bases Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Seminal Contributions to Information Systems Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2010
Journal of Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2008
International i* Workshop
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
1992
ACM Transactions on Modeling and Computer Simulation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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]
1988
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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