1804 search results - page 59 / 361 » Use Cases in Model-Driven Software Engineering |
134
Voted
ICSEA
2007
IEEE
15 years 10 months 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...
110
Voted
APSEC
2007
IEEE
15 years 10 months 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...
441
Voted
ICSE
2012
IEEE-ACM
13 years 6 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...
114
Voted
ISSRE
2003
IEEE
15 years 9 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...
129
Voted
ISESE
2006
IEEE
15 years 9 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...