5082 search results - page 27 / 1017 » Actionable Information in Vision |
136
click to vote
JUCS
2008
15 years 4 months ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
KES
2000
Springer
15 years 7 months ago
2000
Springer
143
click to vote
ETRICS
2006
15 years 8 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...