1804 search results - page 59 / 361 » Use Cases in Model-Driven Software Engineering |
163
click to vote
ICSEA
2007
IEEE
16 years 8 days ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
140
click to vote
APSEC
2007
IEEE
16 years 10 days ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
557
click to vote
ICSE
2012
IEEE-ACM
13 years 8 months ago
2012
IEEE-ACM
—As smartphones become popular, manufacturers such as Samsung Electronics are developing smartphones with rich functionality such as a camera and photo editing quickly, which acc...
139
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Prior research has suggested that the failure rates of faults follow a log normal distribution. We propose a specific model where distributions close to a log normal arise natural...
157
click to vote
ISESE
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper discusses software development using the Test Driven Development (TDD) methodology in two different environments (Windows and MSN divisions) at Microsoft. In both these...