317 search results - page 7 / 64 » Frameworks: the future of formal software development |
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Software products are an everyday phenomenon. Yet, there are very few scientific studies reported on the engineering of software as a product in particular. This paper stipulates ...
ICSEA
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
MIG
2009
Springer
14 years 3 days ago
2009
Springer
Abstract. There are very few software frameworks for steering behaviors that are publicly available for developing, evaluating, and sharing steering algorithms. Furthermore, there ...
ICECCS
2007
IEEE
14 years 1 months ago
2007
IEEE
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry...
ICECCS
2008
IEEE
14 years 2 months ago
2008
IEEE
Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge c...