-
1
-
-
49449103035
-
Quantifying and suppressing the measurement disturbance in feedback controlled real-time systems
-
M. Amirijoo, J. Hansson, S. Gunnarsson, and S. H. Son. Quantifying and suppressing the measurement disturbance in feedback controlled real-time systems. Real-Time Systems, 40(1):44-76, 2008.
-
(2008)
Real-Time Systems
, vol.40
, Issue.1
, pp. 44-76
-
-
Amirijoo, M.1
Hansson, J.2
Gunnarsson, S.3
Son, S.H.4
-
2
-
-
78650541333
-
-
ArgoUML. Argouml
-
ArgoUML. Argouml. http://argouml.tigris.org/.
-
-
-
-
3
-
-
12344336714
-
From mda platform-specific model to code generation: Coupling of rm-odp and uml action semantics standards
-
R. Bendraou, S. Bouzitouna, and M.-P. Gervais. From mda platform-specific model to code generation: Coupling of rm-odp and uml action semantics standards. In Software Engineering Research and Practice, pages 407-416, 2004.
-
(2004)
Software Engineering Research and Practice
, pp. 407-416
-
-
Bendraou, R.1
Bouzitouna, S.2
Gervais, M.-P.3
-
4
-
-
78650548826
-
-
BOUML. Bouml
-
BOUML. Bouml. http://bouml.free.fr/.
-
-
-
-
5
-
-
69849099503
-
UMLtoCSP: A tool for the formal verification of UML/OCL models using constraint programming
-
ACM
-
J. Cabot, R. Clarisó, and D. Riera. UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. In ASE'2007, pages 547-548. ACM, 2007.
-
(2007)
ASE'2007
, pp. 547-548
-
-
Cabot, J.1
Clarisó, R.2
Riera, D.3
-
6
-
-
33748289548
-
Feature-based survey of model transformation approaches
-
K. Czarnecki and S. Helsen. Feature-based survey of model transformation approaches. IBM Syst. J., 45(3):621-645, 2006.
-
(2006)
IBM Syst. J.
, vol.45
, Issue.3
, pp. 621-645
-
-
Czarnecki, K.1
Helsen, S.2
-
8
-
-
49749136132
-
-
IBM
-
IBM. Rational rose enterprise. http://www.developers.net/ibmshowcase/ view/249.
-
Rational Rose Enterprise
-
-
-
9
-
-
0033698475
-
Alcoa: The alloy constraint analyzer
-
New York, NY, USA
-
D. Jackson, I. Schechter, and H. Shlyahter. Alcoa: the alloy constraint analyzer. In Proc. of the 22nd Int. Conf. on Software Engineering(ICSE'00), pages 730-733, New York, NY, USA, 2000.
-
(2000)
Proc. of the 22nd Int. Conf. on Software Engineering(ICSE'00)
, pp. 730-733
-
-
Jackson, D.1
Schechter, I.2
Shlyahter, H.3
-
10
-
-
78650554162
-
An introduction to mda
-
Model-driven Archiecture. An introduction to mda. http://www-128.ibm.com/ developerworks/rational/library/apr05/brown/.
-
Model-driven Archiecture
-
-
-
12
-
-
70349736010
-
The role of service oriented architecture in telemedicine healthcare system
-
0
-
A. Shaikh, M. Memon, N. Memon, and M. Misbahuddin. The role of service oriented architecture in telemedicine healthcare system. Complex, Intelligent and Software Intensive Systems, International Conference, 0:208-214, 2009.
-
(2009)
Complex, Intelligent and Software Intensive Systems, International Conference
, pp. 208-214
-
-
Shaikh, A.1
Memon, M.2
Memon, N.3
Misbahuddin, M.4
-
13
-
-
78649806771
-
A system design for a telemedicine health care system
-
A. Shaikh, M. Misbahuddin, and M. S. Memon. A system design for a telemedicine health care system. In IMTIC, pages 295-305, 2008.
-
(2008)
IMTIC
, pp. 295-305
-
-
Shaikh, A.1
Misbahuddin, M.2
Memon, M.S.3
-
15
-
-
70449485849
-
The security aspects in web-based architectural design using service oriented architecture
-
0
-
A. Shaikh, A. Soomro, S. Ali, and N. Memon. The security aspects in web-based architectural design using service oriented architecture. Information Visualisation, International Conference on, 0:461-466, 2009.
-
(2009)
Information Visualisation, International Conference on
, pp. 461-466
-
-
Shaikh, A.1
Soomro, A.2
Ali, S.3
Memon, N.4
|