696 search results - page 131 / 140 » Model driven development with Ada |
132
click to vote
SOSYM
2010
15 years 6 days ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
148
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...
122
click to vote
ASM
2008
ASM
15 years 3 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
123
click to vote
CW
2008
IEEE
15 years 8 months ago
2008
IEEE
The availability of intuitive, user-friendly and specialized software to work with 3D models of cultural heritage artifacts is as important as the availability of low-cost and rob...
109
click to vote
FOCS
2008
IEEE
15 years 8 months ago
2008
IEEE
A plethora of random graph models have been developed in recent years to study a range of problems on networks, driven by the wide availability of data from many social, telecommu...