2364 search results - page 12 / 473 » An Engine for Computing Well-Founded Models |
GI
2005
Springer
15 years 5 months ago
2005
Springer
: While software design is increasingly based on models, requirements engineering is generally performed using structured text; as a consequence, only a weakly structured connectio...
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
High performance computing is critical for financial markets where analysts seek to accelerate complex optimizations such as pricing engines to maintain a competitive edge. In th...
125
click to vote
SAC
2011
ACM
14 years 2 months ago
2011
ACM
We propose a novel approach and tool for collaborative software engineering and development. In model-based software engineering, the underlying data structure is a complex, direc...
EDOC
2007
IEEE
15 years 6 months ago
2007
IEEE
Models have been used in various engineering fields to help managing complexity and represent information in difbstraction levels, according to specific notations and stakeholde...
ACSE
1997
ACM
15 years 3 months ago
1997
ACM
Software development projects are an essential component of software engineering courses. They provide the opportunity for students to apply theoretical material and to gain valua...