1804 search results - page 24 / 361 » Use Cases in Model-Driven Software Engineering |
160
click to vote
AISC
2010
Springer
15 years 8 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...
153
Voted
TPHOL
1998
IEEE
15 years 7 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...
137
Voted
RE
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. Few requirements engineering techniques are widely applied in industry. This can
139
click to vote
ATVA
2010
Springer
15 years 1 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...
155
Voted
ICSE
2009
IEEE-ACM
15 years 1 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 ...