1988 search results - page 142 / 398 » Engineering formal metatheory |
209
click to vote
AGTIVE
2007
Springer
15 years 10 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...
171
click to vote
ICECCS
2007
IEEE
15 years 10 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...
151
click to vote
ICECCS
2007
IEEE
15 years 10 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...
162
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
203
click to vote
AISC
2010
Springer
15 years 9 months ago
2010
Springer
A lot of mathematical knowledge has been formalized and stored in repositories by now: Different mathematical theorems and theories have been taken into consideration and included ...