715 search results - page 72 / 143 » Application of Formal Methods to the Development of a Softwa... |
ECLIPSE
2007
ACM
14 years 22 days ago
2007
ACM
In the software development life cycle, unit testing is an important phase that helps in early detection of bugs. A unit test case consists of two parts: a test input, which is of...
GECCO
2010
Springer
13 years 9 months ago
2010
Springer
State machines are a popular method of representing a syshigh level of abstraction that enables developers to gain an overview of the system they represent and quickly understand ...
ACE
2004
13 years 10 months ago
2004
ExamGen is a software application developed at Queensland University of Technology to assist instructors with assessment in large classes (250+). The ExamGen program was developed...
IUI
1998
ACM
14 years 1 months ago
1998
ACM
Eliciting user-task models is a thorny problem in modelbased user interface design, and communicating domainspecific knowledge from an expert to a knowledge engineer is a continui...
IFM
2009
Springer
14 years 3 months ago
2009
Springer
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...