1376 search results - page 26 / 276 » Model-Driven Software Verification |
128
click to vote
DOCENG
2010
ACM
15 years 2 months ago
2010
ACM
Building authoring applications is a tedious and complex task that requires a high programming effort. Document technologies, especially XML based ones, can help in reducing such ...
131
Voted
JWSR
2008
15 years 1 months ago
2008
: Service Oriented Architecture (SOA) is an emerging style of software architectures to reuse and integrate existing systems for designing new applications. Each application is des...
135
click to vote
JOT
2007
15 years 1 months ago
2007
In order to integrate requirements into the current Model-Driven Engineering (MDE) approach, the traditional document-based requirements specification process should be changed in...
107
click to vote
ACHI
2009
IEEE
15 years 8 months ago
2009
IEEE
In today’s continuously changing markets newly developed products often do not meet the demands and expectations of customers. Research on this problem identified a large gap b...
151
Voted
ECMDAFA
2009
Springer
15 years 8 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...