Sciweavers

2570 search results - page 107 / 514
» Reliability Modeling Using UML
Sort
View
EEE
2005
IEEE
15 years 3 months ago
Web System Trace Model Using a Web Application Architecture Framework
Traceability analysis is crucial to the development of web-centric systems, particularly those with frequent system changes, fine-grained evolution and maintenance, and high level...
Xiaoying Kong, Li Liu, David Lowe
AOSD
2009
ACM
15 years 4 months ago
Modelling hardware verification concerns specified in the e language: an experience report
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
Darren Galpin, Cormac Driver, Siobhán Clark...
AIRS
2006
Springer
14 years 12 months ago
Text Mining for Medical Documents Using a Hidden Markov Model
Abstract. We propose a semantic tagger that provides high level concept information for phrases in clinical documents. It delineates such information from the statements written by...
Hyeju Jang, Sa-Kwang Song, Sung-Hyon Myaeng
CAISE
2003
Springer
15 years 3 months ago
Aspect-Oriented Extension for Capturing Requirements in Use-Case Model
Early Aspects is a concept that applies an aspect-oriented (AO) paradigm to the requirements engineering. Aspect-Oriented Requirements Engineering (AORE) can be considered as an im...
Chanwit Kaewkasi, Wanchai Rivepiboon
FM
2009
Springer
189views Formal Methods» more  FM 2009»
14 years 7 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...