Export 6 results:[ Author] Title Type Year
Filters: Keyword is Specifications [Clear All Filters]
A BPMN-based automated approach for the analysis of healthcare processes." In Proceedings - 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016, edited by Gaaloul W. Reddy S.M., 124-129. Institute of Electrical and Electronics Engineers Inc., 2016."
An HLA-based BPMN extension for the specification of business process collaborations." In Proceedings - 2017 IEEE/ACM 21st International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2017. Institute of Electrical and Electronics Engineers Inc., 2017."
A model-driven method for enacting the design-time QoS analysis of business processes." Software and Systems Modeling 13 (2014): 573-598."
Simulation model building of traffic intersections." Simulation Modelling Practice and Theory 17 (2009): 625-640."
A MDA-based approach for the development of DEVS/SOA simulations." In Simulation Series, 4-11. Vol. 42., 2010."
A MDA-based approach for the development of DEVS/SOA simulations." In Spring Simulation Multiconference 2010, SpringSim'10., 2010."
A method for the prediction of software reliability." In Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, SEA 2002, 234-240. Acta Press, 2012."
Model-based interface specification for systems integration in systems of systems engineering." In 22nd Annual International Symposium of the International Council on Systems Engineering, INCOSE 2012 and the 8th Biennial European Systems Engineering Conference 2012, EuSEC 2012, 2705-2717. Vol. 4., 2012."
A model-based Signal-In-Space interface specification to support the design of Galileo receivers." In 6th ESA Workshop on Satellite Navigation Technologies: Multi-GNSS Navigation Technologies Galileo's Here, NAVITEC 2012 and European Workshop on GNSS Signals and Signal Processing., 2012."
BOM2UML: Integrating BOM specifications into UML-based development environments." In Simulation Series, 310-317. Vol. 44., 2012."
A domain specific language for the definition of extended queueing network models." In Proceedings of the IASTED International Conference on Software Engineering, SE 2008, 118-124., 2008."
Ontology-based specification of simulation sequences." International Journal of Simulation: Systems, Science and Technology 10 (2009): 67-78."