886 search results - page 27 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
IFM
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
KCAP
2009
ACM
15 years 4 months ago
2009
ACM
Ontologies are conceptual models of particular domains, and domains can be modeled differently, representing different opinions, beliefs or perspectives. In other terms, ontolog...
100
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Unified and formal knowledge models of the information security domain are fundamental requirements for supporting and enhancing existing risk management approaches. This paper de...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
In the absence of a single module interface standard, integration of pre-designed modules in System-on-Chip design often requires the use of protocol converters. Existing approach...