3045 search results - page 190 / 609 » Formal Approaches to Software Architecture |
101
click to vote
ICECCS
1999
IEEE
15 years 3 months ago
1999
IEEE
Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of ...
113
click to vote
W4A
2005
ACM
15 years 4 months ago
2005
ACM
The need for providing learners with web-based learning content that match their accessibility needs and preferences, as well as providing ways to match learning content to userâ€...
IUI
2010
ACM
15 years 8 months ago
2010
ACM
In this paper we present a new way of translating documents by using a Web-based system. An interactive approach is proposed as an alternative to post-editing the output of a mach...
ISCIS
2004
Springer
15 years 4 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
102
click to vote
ETS
2002
IEEE
14 years 11 months ago
2002
IEEE
We develop a scheme for representing critical non-functional requirements (NFRs), and apply it to the domain of multimedia educational software (MES) to validate it. Our approach ...