2212 search results - page 202 / 443 » Automated software wrapping |
119
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
146
click to vote
ACSC
2000
IEEE
15 years 8 months ago
2000
IEEE
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...
168
click to vote
IAT
2010
IEEE
15 years 2 months ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
156
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
SOABench is a framework for the automatic generation, execution and analysis of testbeds for evaluating the performance of service-oriented middleware. Testbeds can be characteriz...
178
click to vote
ICSEA
2009
IEEE
15 years 2 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...