1804 search results - page 24 / 361 » Use Cases in Model-Driven Software Engineering |
141
Voted
AISC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...
137
click to vote
TPHOL
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
120
Voted
RE
2002
Springer
15 years 1 months ago
2002
Springer
Abstract. Few requirements engineering techniques are widely applied in industry. This can
123
click to vote
ATVA
2010
Springer
14 years 12 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
139
Voted
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...