118 search results - page 22 / 24 » A Relational Model for Formal Object-Oriented Requirement An... |
ASM
2010
ASM
14 years 3 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
ICDE
1999
IEEE
14 years 10 months ago
1999
IEEE
OLAP systems support data analysis through a multidimensional data model, according to which data facts are viewed as points in a space of application-related dimensions", or...
FMCAD
2007
Springer
14 years 2 months ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
CMSB
2007
Springer
14 years 2 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
CAISE
2006
Springer
14 years 8 days ago
2006
Springer
When modeling business processes, we often implicity think of internal business policies and external regulations. Yet to date, little attention is paid to avoid hard-coding polici...