6751 search results - page 360 / 1351 » Engineering Quality Requirements Using Quality Models |
202
click to vote
TPHOL
1998
IEEE
15 years 11 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...
164
click to vote
ICMCS
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper, we aim at modeling video sequences that exhibit temporal appearance variation. The dynamic texture model proposed in [6] is effective to model simple dynamic scene...
154
click to vote
ENTCS
2006
15 years 6 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
161
click to vote
SOPR
1998
15 years 6 months ago
1998
Many organizations provide information technology services, either to external or internal customers. They maintain software, operate information systems, manage and maintain work...
168
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Many agile projects require user interaction (UI) design, but the integration of UI design into agile development is not well understood. This is because both agile development an...