Browsing by Subject Modeling languages (Computer science)
Showing results 1 to 9 of 9
Issue Date | Title | Author(s) |
2004 | Counter-example generation in symbolic abstract model-checking | Pace, Gordon J.; Halbwachs, Nicolas; Raymond, Pascal |
2017 | Embedded languages for origami-based geometry | Caruana, Gaetano; Pace, Gordon J. |
2011 | An event-driven language for cartographic modelling of knowledge in software development organisations | Micallef, Mark; Colombo, Christian |
2008 | A fundamental modeling concept approach for modeling UML design patterns | Spiteri Staines, Tony |
2009 | A language for modeling software development life cycles | Cachia, Ernest; Micallef, Mark |
2007 | Model checking concurrent assembly algorithms | Cordina, Joseph; Fenech, Stephen; Pace, Gordon J. |
2014 | Modeling of system knowledge for efficient agile manufacturing : tool evaluation, selection and implementation scenario in SMEs | Constantinescu, Carmen L.; Matarazzo, D.; Dienes, D.; Francalanza, Emmanuel; Bayer, Martin |
2013 | Recovery within long running transactions | Colombo, Christian; Pace, Gordon J. |
2007 | Transactional CSP processes | Cassar, Gail; Abela, Patrick |