1432 search results - page 203 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
147
click to vote
ICEBE
2007
IEEE
15 years 10 months ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
141
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...
150
Voted
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...
136
click to vote
EDOC
2003
IEEE
15 years 9 months ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
128
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...