A refinement calculus for the development of real-time systems.
Chen, Z., Cau, A., Zedan, H., Liu, X., & Yang, H. (1998)
A refinement calculus for the development of real-time systems. In 5th Asia Pacific Software Engineering Conference, APSEC '98, 61. https://doi.org/10.1109/APSEC.1998.733588
We present a calculus which can transfer specifications
to objects for the development of real-time systems. The
object model is based on a practical OO development
Information and data modelling.
Benyon, D. (1996)
Information and data modelling. Blackwell Publishers Inc
This text places data modelling alongside functional analysis. The first part of the book deals with information, data, data administration and the purpose for building data m...
Mastering Delphi programming.
Buchanan, W. J. (2001)
Mastering Delphi programming. Palgrave Publishers
This book provides an introduction to the use of Delphi Version 3/4 in developing programs, full of real-life applications including serial communications, internet programmin...
The AmbITion Approach : examining action research into organisational practice
Rudman, H. (2014)
The AmbITion Approach : examining action research into organisational practice. In iFutures 2014 Conference Proceedings
Digital technologies have had profound impacts on the whole value chain of the creative sector. Arts, cultural, and heritage organisations and practices are under pressure to ...
Timetabling the classes of an entire university with an evolutionary algorithm.
Paechter, B., Rankin, B., Cumming, A., & Fogarty, T. C. (1998)
Timetabling the classes of an entire university with an evolutionary algorithm. In T. Beck, & M. Schoenauer (Eds.), Parallel Problem Solving from Nature - PPSN V. , (865-874). https://doi.org/10.1007/BFb0056928
This paper describes extensions to an evolutionary algorithm that timetables classes for an entire University. A new method of dealing with multi-objectives is described along...
A social-technological alignment matrix.
Thuemmler, C., Mival, O., Lim, A. K., Holanec, I., & Fricker, S. (2015)
A social-technological alignment matrix. In 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom), 200-205. https://doi.org/10.1109/healthcom.2014.7001841
This paper refers to the term " implementation " as the Especially in health care this has proven to be a very critical phase Although strategies such as requirements engineer...
A Self-organizing LSTM-Based Approach to PM2.5 Forecast
Liu, X., Liu, Q., Zou, Y., & Wang, G. (2018)
A Self-organizing LSTM-Based Approach to PM2.5 Forecast. In Proceedings of the 4th International Conference on Cloud Computing and Security (ICCCS 2018), (683-693). https://doi.org/10.1007/978-3-030-00015-8_59
Nanjing has been listed as the one of the worst performers across China with respect to the high level of haze-fog, which impacts people's health greatly. For the severe condi...
On the Synthesis of Perturbative Heuristics for Multiple Combinatorial Optimisation Domains
Stone, C., Hart, E., & Paechter, B. (2018)
On the Synthesis of Perturbative Heuristics for Multiple Combinatorial Optimisation Domains. In Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part Ihttps://doi.org/10.1007/978-3-319-99253-2_14
Hyper-heuristic frameworks, although intended to be cross-domain at the highest level, rely on a set of domain-specific low-level heuristics at lower levels. For some domains,...
Tackling the abstraction problem for reverse engineering in a system re-engineering approach.
Yang, H., Liu, X., & Zedan, H. (1998)
Tackling the abstraction problem for reverse engineering in a system re-engineering approach. In the proceedings of the IEEE Conference on Software Maintenance (ICSM'98), 284. https://doi.org/10.1109/ICSM.1998.738520
It is widely accepted that reverse engineering has three components: restructuring, comprehension and production of formal specification. In this paper, we advocate that the t...
FCA interpretation of relation algebra.
Priss, U. (2006)
FCA interpretation of relation algebra. https://doi.org/10.1007/11671404_17
This paper discusses an interpretation of relation algebra and fork algebra with respect to FCA contexts. In this case, "relation algebra" refers to the DeMorgan-Peirce-Schroe...