Differencing logical UML models

By Xing Zhenchang  

Automated Software Engineering, Vol. 14, Iss. 2, 2007-06 ,pp. : 215-259

Springer Publishing Company

Access to resources Recommend Favorite

Optimal Design of Object-Oriented Databases in Automatic Information-Control Systems. II. Models and Methods of Design of Optimal Logical Structures for Object-Oriented Databases

By Kul'ba V.   Sirotyuk V.  

Automation and Remote Control, Vol. 66, Iss. 10, 2005-10 ,pp. : 1690-1700

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Verification and validation of simulation models

By Sargent R G  

Journal of Simulation, Vol. 7, Iss. 1, 2013-02 ,pp. : 12-24

Palgrave Macmillan Ltd

Access to resources Recommend Favorite

Verification of integrated IDEF models

By Kacprzak Marek   Kaczmarczyk Andrzej  

Journal of Intelligent Manufacturing, Vol. 17, Iss. 5, 2006-10 ,pp. : 585-596

Springer Publishing Company

Access to resources Recommend Favorite

Models and temporal logical specifications for timed component connectors

By Arbab Farhad   Baier Christel   Boer Frank   Rutten Jan  

Software and Systems Modeling (SoSyM), Vol. 6, Iss. 1, 2007-03 ,pp. : 59-82

Springer Publishing Company

Access to resources Recommend Favorite