10159 search results - page 669 / 2032 » System Design Validation Using Formal Models |
185
click to vote
ECOWS
2006
Springer
15 years 11 months ago
2006
Springer
A broader use of e-services for cross enterprise collaboration requires the services to be analysed and designed with a clear business focus. From a business perspective, the e-se...
226
click to vote
GI
2009
Springer
15 years 5 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
198
click to vote
DEON
2010
Springer
15 years 10 months ago
2010
Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
193
click to vote
HICSS
2003
IEEE
16 years 22 days ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
201
click to vote
SPATIALCOGNITION
2004
Springer
16 years 24 days ago
2004
Springer
Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating s...