715 search results - page 51 / 143 » Application of Formal Methods to the Development of a Softwa... |
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
ICDE
2007
IEEE
14 years 18 days ago
2007
IEEE
Data mining techniques and machine learning methods are commonly used in several disciplines. It is possible that they could also provide a basis for quality assessment of softwar...
SAFECOMP
1998
Springer
14 years 29 days ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
EDOC
2007
IEEE
14 years 3 months ago
2007
IEEE
IT application landscapes alias software cities of large enterprises comprise tens or even hundreds of IT applications. Structuring software cities into domains is an important tas...
HICSS
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...