| M. Broy, F. Huber, B. Paech, B. Rumpe, K. Spies: Software and System Modeling Based on a Unified Formal Semantics, IN: Requirements Targeting Software and Systems Engineering, International Workshop RTSE'97, LNCS 1526, Manfred Broy, Bernhard Rumpe (eds.), Springer, 1997. |
....as a software process producing V Model conform work products. Further research work has to be done in order to validate our model, and to check its suitability for other process models. Moreover, we work on a formal foundation of work products on the basis of a unifying system model, similar to [12]. This would allow us to give a more precise definition of at least some of the conformity levels. ....
M. Broy, F. Huber, B. Paech, B. Rumpe, K. Spies: Software and System Modeling Based on a Unified Formal Semantics, IN: Requirements Targeting Software and Systems Engineering, International Workshop RTSE'97, LNCS 1526, Manfred Broy, Bernhard Rumpe (eds.), Springer, 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC