1328 search results - page 124 / 266 » Info Cases: Integrating Use Cases and Domain Models |
TCS
2008
14 years 10 months ago
2008
We consider "swept regions" and "swept hypersurfaces"B in Rn+1 (and especially R3) which are a disjoint union of subspaces t = t or Bt = Bt obtained from a va...
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
ISSE
2010
14 years 8 months ago
2010
The Use Case, Responsibility Driven Analysis and Design (URDAD) methodology is a methodology for technology neutral design generating the Platform Independent Model of the Object M...
ACSD
2006
IEEE
15 years 1 months ago
2006
IEEE
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
103
click to vote
BMCBI
2008
14 years 10 months ago
2008
Complexity of post-genomic data and multiplicity of mining strategies are two limits to Knowledge Discovery in Databases (KDD) in life sciences. Because they provide a semantic fr...