Sciweavers

532 search results - page 72 / 107
» The UML as a Formal Modeling Notation
Sort
View
ER
2003
Springer
112views Database» more  ER 2003»
14 years 27 days ago
Entity Types Derived by Symbol-Generating Rules
Abstract. We review the definition of entity types derived by symbolgenerating rules. These types appear frequently in conceptual schemas. However, up to now they have received ver...
Jordi Cabot, Antoni Olivé, Ernest Teniente
RE
2008
Springer
13 years 7 months ago
Requirements Capture with RCAT
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
Margaret H. Smith, Klaus Havelund
MODELS
2009
Springer
14 years 7 days ago
Teaching Modeling: Why, When, What?
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
Jean Bézivin, Robert France, Martin Gogolla...
CORR
2011
Springer
227views Education» more  CORR 2011»
13 years 2 months ago
Message Structures: a modelling technique for information systems analysis and design
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
Sergio España, Arturo González, Osca...
JUCS
2010
80views more  JUCS 2010»
13 years 2 months ago
Developing and Analyzing the MP (Materialization Pattern) Model for Math Educational Standards
: Educational standards alignment, which matches similar or equivalent concepts of educational standards, is a necessary task for educational resource retrieval. In order to automa...
Namyoun Choi, Il-Yeol Song, Yuan An