519 search results - page 63 / 104 » Granular Problem Solving and Software Engineering |
112
Voted
FASE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
114
Voted
AOSD
2006
ACM
15 years 8 months ago
2006
ACM
In the web services environment software development can involve writing both object-oriented programs and XML transformations. This can be seen in the popular Web Services archit...
120
Voted
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
133
click to vote
ICST
2009
IEEE
15 years 10 days ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
108
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
Many organizations would benefit from enterprise-wide, shared information systems. It is common for these organizations to have in place a number of smaller information systems, e...