Model-driven development (MDD) shifts the development focus from code to models, allowing automatic or assisted transformations that are able to generate more refined, detailed or...
With the advent of e-Commerce, enterprises can no longer rely on static business strategies. They have to be able to cope in dynamic and uncertain electronic environments, especia...
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizh...
Genre, like layout, is an important factor in effective communication, and automated tools which assist in genre compliance are thus of considerable value. Genres are reusable met...
Marc Nanard, Jocelyne Nanard, Peter R. King, Ludov...
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...