Sciweavers

1645 search results - page 15 / 329
» Rationale-Based Use Case Specification
Sort
View
SIMULATION
2011
13 years 2 months ago
The Activity-tracking paradigm in discrete-event modeling and simulation: The case of spatially continuous distributed systems
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
Alexandre Muzy, Rajanikanth Jammalamadaka, Bernard...
SAC
2009
ACM
14 years 2 months ago
LTS semantics for use case models
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
14 years 1 months ago
Common Semantics for Use Cases and Task Models
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...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
SIGSOFT
2010
ACM
13 years 2 months ago
Evolution of a bluetooth test application product line: a case study
In this paper, we study the decision making process involved in the five year lifecycle of a Bluetooth software product produced by a large, multi-national test and measurement fi...
Narayan Ramasubbu, Rajesh Krishna Balan
HICSS
2011
IEEE
247views Biometrics» more  HICSS 2011»
12 years 11 months ago
Is Happiness Contagious Online? A Case of Twitter and the 2010 Winter Olympics
Is happiness contagious online? To answer this question, this paper investigates the posting behavior of users on Twitter.com, a popular online service for sharing short messages....
Anatoliy A. Gruzd, Sophie Doiron, Philip Mai