3828 search results - page 392 / 766 » Proof-Based System Engineering Using a Virtual System Model |
197
click to vote
IDEAS
2003
IEEE
16 years 1 days ago
2003
IEEE
In the context of information system engineering, we propose a four-layer metamodeling architecture with a comprehensive set of operations on metamodels. Our architecture enables ...
210
click to vote
IIE
2007
15 years 6 months ago
2007
This paper describes a didactical Computer Aided Software Engineering (CASE)-tool that was developed for use within the context of a course in object-oriented domain modelling. In...
222
click to vote
BTW
2007
Springer
16 years 28 days ago
2007
Springer
Abstract: We propose a new system that is able to handle the entire Personal Dataspace of a user. A Personal Dataspace includes all data pertaining to a user on all his disks and o...
209
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
196
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...