1005 search results - page 79 / 201 » Formal Software Development in MAYA |
143
click to vote
ICSE
1997
IEEE-ACM
15 years 8 months ago
1997
IEEE-ACM
We propose a framework for “probabilistic functional testing.” The success of a test data set generated according to our method guarantees a certain level of confidence into ...
163
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software...
135
click to vote
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
124
Voted
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
146
Voted
ASWEC
2010
IEEE
15 years 4 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...