Rapid Integration of Software Engineering Techniques: ... International Workshop, RISE ... : Revised Selected PapersSpringer, 2004 - Software engineering |
Contents
Integration of Software Engineering Techniques Through the Use | 1 |
Towards a Methodology for ComponentDriven Design | 23 |
A Symbolic Model Checker for tccp Programs | 45 |
Copyright | |
6 other sections not shown
Common terms and phrases
abstract algorithm allows analysis application APPLS(c approach architecture automatically behavior communication components Computer concepts concurrent connector context defined described diagrams dynamic editing sessions editor EDOC environment Erlang event handlers exception handling execution false false false Figure formal function GNU Emacs Guelfi hypotheses implementation initialized input integration interaction objects J2EE Java LNCS logic machine metaclass metamodel method model checking model transformations Model-based test MULTIPLEXER notation object classes Object Constraint Language Object Management Group object-oriented operations output platform programming language propagated repository represent requirements reuse role session runtime SA/RT scheme scripting Section semantics Software Engineering specification stereotype SysML SystemC tccp Structure techniques thread process thrown exceptions tier tion tool toolkit UML profile University of Luxembourg User Interface variables verification virtual class virtual instance virtual object