Sciweavers

1609 search results - page 140 / 322
» Using Ontologies for Software Development Knowledge Reuse
Sort
View
ICSM
2009
IEEE
15 years 11 months ago
Understanding source package organization using the hybrid model
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
Xinyi Dong, Michael W. Godfrey
APCCM
2009
15 years 6 months ago
Extracting Conceptual Graphs from Japanese Documents for Software Requirements Modeling
A requirements analysis step plays a significant role on the development of information systems, and in this step we various kinds of abstract models of the systems (called requir...
Ryo Hasegawa, Motohiro Kitamura, Haruhiko Kaiya, M...
CAV
2005
Springer
173views Hardware» more  CAV 2005»
15 years 10 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
RIVF
2007
15 years 6 months ago
On the Role and Application of Ontologies in Information Systems
— Semantic Web research and recent efforts of large software companies have lead to mature technologies that can enable real-life semantic applications. While benefits such as a...
Thanh Tran, Holger Lewen, Peter Haase
SEKE
2001
Springer
15 years 9 months ago
Ontology-Related Services in Agent-Based Distributed Information Infrastructures
Ontologies are an emerging paradigm to support declarativity, interoperability, and intelligent services in many areas, such as Agent–based Computation, Distributed Information ...
Ludger van Elst, Andreas Abecker