1601 search results - page 5 / 321 » The affordable application of formal methods to software eng... |
ISSE
2010
13 years 6 months ago
2010
ICSE
2001
IEEE-ACM
14 years 4 days ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
AVI
2010
13 years 5 months ago
2010
The acceleration of rhythm of everyday life requires efficiency and flexibility in daily routines. The real expectations and needs of people concerning intelligent home devices sh...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
13 years 6 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...