Filters








66,573 Hits in 7.6 sec

Object-oriented biological system integration: a SARS coronavirus example

D. Shegogue, W. J. Zheng
2005 Bioinformatics  
represented as an object-oriented software system.  ...  The scalability of this object-oriented software engineering approach indicates that we can apply this technology for the integration of large complex biological systems.  ...  Object functions, which are implemented by the methods contained within the objects, are used to represent the functions of these bioentities.  ... 
doi:10.1093/bioinformatics/bti344 pmid:15731211 fatcat:g3y6fkn5brdybdjuxwzbvqrm7m

The maturity of object-oriented methodologies [chapter]

André Hoogenhof
1998 Lecture Notes in Computer Science  
And it is ongoing: unifications of object-oriented methods are introduced to get the maximum benefit of all involved.  ...  It already started at language level long ago, with Simula 67 and Smalltalk, and nowadays many methodologies are labelled as object-oriented.  ...  So, along with the introduction of object-oriented methods many of the existing methods became 'object-oriented' too.  ... 
doi:10.1007/3-540-65193-4_25 fatcat:hes3zx5tj5hvnmq7jo4exrqrji

Certification of Safety-Critical Software Under DO-178C and DO-278A

Stephen Jacklin
2012 Infotech@Aerospace 2012  
model-based software design, object oriented programming, and formal methods.  ...  The objective of this paper is to first explain the relationship of DO-178C to the former DO-178B in order to give those familiar with DO-178B an indication of what has been changed and what has not been  ...  Guidance Model-Based Object-Oriented Formal Methods Ground-Based CNS/ATM Software Cert.  ... 
doi:10.2514/6.2012-2473 dblp:conf/itaero/Jacklin12 fatcat:uvibots3qvcvblvy4g6kno4xoi

Rigorous object-oriented analysis [chapter]

Ana M. D. Moreira, Robert G. Clark
1994 Lecture Notes in Computer Science  
We have investigated how rigour can be introduced into the analysis phase of the software development process by combining object-oriented analysis (OOA) methods with formal description techniques.  ...  Object-oriented methods for analysis, design and programming are commonly used by software engineers. Formal description techniques, however, are mainly used in a research environment.  ...  Finally, Jones is concerned with a formal notation for object-oriented programming and design, not with OOA.  ... 
doi:10.1007/bfb0014017 fatcat:q5q77dv7enc2fh6v2vur4wznry

An object-oriented approach to knowledge representation in a biomedical domain

Marco Ensing, Ray Paton, Piet-Hein Speel, Roy Rada
1994 Artificial Intelligence in Medicine  
An object-oriented knowledge acquisition process was applied to the assertional knowledge.  ...  States and events are formalized with qualitative calculus. The terminological knowledge was very useful in the development of the assertional component.  ...  An object-oriented approach in the knowledge acquisition process, distinguishes the following stages: domain characterization, object-oriented modelling, formalization and implementation [4] .  ... 
doi:10.1016/0933-3657(94)90025-6 pmid:7858660 fatcat:tlek7vrusncxlht3xxxjuut2sm

Artificial Intelligence in Medicine? [chapter]

Kazem Sadegh-Zadeh
2015 Philosophy and Medicine  
An object-oriented knowledge acquisition process was applied to the assertional knowledge.  ...  States and events are formalized with qualitative calculus. The terminological knowledge was very useful in the development of the assertional component.  ...  An object-oriented approach in the knowledge acquisition process, distinguishes the following stages: domain characterization, object-oriented modelling, formalization and implementation [4] .  ... 
doi:10.1007/978-94-017-9579-1_21 fatcat:ptiw4n7erngjnp3ldpecru3enm

Artificial Intelligence in Medicine [chapter]

LOUIS SASMOR, EDWARD D. SMITH
1988 Handbook of Biomedical Engineering  
An object-oriented knowledge acquisition process was applied to the assertional knowledge.  ...  States and events are formalized with qualitative calculus. The terminological knowledge was very useful in the development of the assertional component.  ...  An object-oriented approach in the knowledge acquisition process, distinguishes the following stages: domain characterization, object-oriented modelling, formalization and implementation [4] .  ... 
doi:10.1016/b978-0-12-415145-1.50023-2 fatcat:io2r7fz72vhmlhcz6jrf3yoite

Artificial intelligence in medicine

Pavel Hamet, Johanne Tremblay
2017 Metabolism: Clinical and Experimental  
An object-oriented knowledge acquisition process was applied to the assertional knowledge.  ...  States and events are formalized with qualitative calculus. The terminological knowledge was very useful in the development of the assertional component.  ...  An object-oriented approach in the knowledge acquisition process, distinguishes the following stages: domain characterization, object-oriented modelling, formalization and implementation [4] .  ... 
doi:10.1016/j.metabol.2017.01.011 pmid:28126242 fatcat:hmp2zi2ahzd5ze7lcldvzjhuuu

Artificial intelligence in medicine

AN Ramesh, C Kambhampati, JRT Monson, PJ Drew
2004 Annals of the Royal College of Surgeons of England  
An object-oriented knowledge acquisition process was applied to the assertional knowledge.  ...  States and events are formalized with qualitative calculus. The terminological knowledge was very useful in the development of the assertional component.  ...  An object-oriented approach in the knowledge acquisition process, distinguishes the following stages: domain characterization, object-oriented modelling, formalization and implementation [4] .  ... 
doi:10.1308/147870804290 pmid:15333167 pmcid:PMC1964229 fatcat:er2vn5krqbf2ffe2qjjhcazshq

A Survey of Design Rationale Systems: Approaches, Representation, Capture and Retrieval

W. C. Regli, X. Hu, M. Atwood, W. Sun
2000 Engineering with Computers  
This survey is structured around classes of fundamentally different approaches, their representation schema, their capture methods and retrieval techniques.  ...  argumentation-based, descriptive, process-based approaches.  ...  An example model is GTMD [36] , which is used to structure the acquisition process within DESIRE, a formal framework for compositional modelling.  ... 
doi:10.1007/pl00013715 fatcat:fif4zbqgxvbexj443htgl3ewvi

Extending the statechart formalism

Arthur Allen, Dennis de Champeaux
1995 Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications - OOPSLA '95  
C++) within structured procedure blocks.  ...  Booth, Object Oriented Analysis and Design, Benjamin/Cummins, 1993. [deChampeaux93+] D. de Champeaux, D. Lea & P. Faure, Object Oriented System Development, Addison-Wesley, 1993.  ...  Collaborations + Object-with-state forwards all incoming messages to the Disposition object.  ... 
doi:10.1145/217838.217840 dblp:conf/oopsla/AllenC95 fatcat:xsd5j7edbjh7zlinnaogojebny

Formal Methods in the Development of Safety-Critical Knowledge-Based Components

Giovanna Dondossola
1998 Failure and Lessons Learned in Information Technology Management  
On the other hand, research works in the Knowledge Engineering field are proposing new formal methods as a means to increase the quality of KB software products and processes.  ...  The subject of this paper concerns both the role of formal methods in the Safe-KBS engineering methodology and the experimentation of their application based on a general-purpose formal method called TRIO  ...  TRIO with concepts and constructs from object-oriented methodology.  ... 
doi:10.3727/108812898791918262 fatcat:5iz2pgeu4vb5pmwkqpvlgynlhe

Evolutionary Testing of Embedded Systems [chapter]

Joachim Wegener
2003 Evolutionary Algorithms for Embedded System Design  
Dynamic testing is the most important method for testing such quality requirements. However, test case design is difficult to automate, therefore, most test cases have to be defined manually.  ...  A promising approach to automate test case design is the Evolutionary Test. It can be applied to testing the temporal behavior of systems, to structural testing as well as to safety testing.  ...  For most test objectives, test case design is difficult to automate: · for functional testing the generation of test cases is usually impossible because no formal specifications are applied in industrial  ... 
doi:10.1007/978-1-4615-1035-2_1 fatcat:ad42wfjc2bfqtk4lovaxmel5c4

Semantic Modeling with Foundries [article]

Robert B. Allen, Yoonhwan Kim
2018 arXiv   pre-print
We explore the similarity of our approach to object-oriented analysis and modeling.  ...  Our modeling supports schema and allows for transitions of Entities based on the relationships to other Entities with which they are associated.  ...  This is remarkably similar to the pairing of objects with methods, which is the goal of encapsulation in object-oriented approaches.  ... 
arXiv:1801.00725v2 fatcat:2okejpmwhzaabjhdk4i26usn5a

The case for transforming the geological survey knowledge system: Where digital geoscience spatial models meet the semantic Grid* [chapter]

T.V. Loudon
2006 Special Paper 397: Geoinformatics: Data to Knowledge  
Formal structure The object-oriented model separates metadata from detail, distinguishes between object classes and instances, and creates object-class hierarchies with multiple inheritance of attributes  ...  Object-oriented design and implementation (Brodaric and Hastings, 2002) , as opposed to analysis, raise many issues not considered here.  ... 
doi:10.1130/2006.2397(15) fatcat:to75eemukzdqxkt276zm5pmz24
« Previous Showing results 1 — 15 out of 66,573 results