Sciweavers

1792 search results - page 142 / 359
» Ontology Modeling Using UML
Sort
View
WCRE
2002
IEEE
15 years 7 months ago
A Study on the Current State of the Art in Tool-Supported UML-Based Static Reverse Engineering
Today, software-engineering research and industry alike recognize the need for practical tools to support reverseengineering activities. Most of the well-known CASE tools support ...
Ralf Kollman, Petri Selonen, Eleni Stroulia, Tarja...
110
Voted
FM
1999
Springer
111views Formal Methods» more  FM 1999»
15 years 6 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff
199
Voted
FMOODS
2008
15 years 3 months ago
Symbolic Step Encodings for Object Based Communicating State Machines
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko
107
Voted
AINA
2008
IEEE
15 years 9 months ago
Developing of an Ontological Focused-Crawler for Ubiquitous Services
This paper proposes the use of several ontological techniques to provide a semantic level solution for a search agent so that it can provide fast, precise, and stable search resul...
Sheng-Yuan Yang
JSS
2006
88views more  JSS 2006»
15 years 2 months ago
A formal representation of functional size measurement methods
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
Marjan Hericko, Ivan Rozman, Ales Zivkovic