906 search results - page 42 / 182 » Modeling methodology for application development in petroleu... |
138
click to vote
SPIN
2012
Springer
13 years 4 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
101
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
114
Voted
JISE
2008
15 years 1 months ago
2008
business requirement in the real world cannot be abstracted correctly into an entity-relationship schema. Once core entities are discovered, we can obtain an Entity-Relationship Di...
101
Voted
HPCA
2003
IEEE
16 years 2 months ago
2003
IEEE
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...
108
Voted
RE
2009
Springer
15 years 8 months ago
2009
Springer
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...