BU TechBreakfast

The Techbreakfast was a networking opportunity for students interested in coding, technology and computer science to meet professionals from Information, Systems and TechnologiesGlobal App InitiativeGirls Who CodeInformation Services & Technolog

Using SimVenture in Computer Science & Information Systems Management

A case study from the Developing Enterprising Students project, a strategic teaching and learning project at the University of Huddersfield. The case study is based on an interview with Helen Southall, Senior Lecturer in the department of Computer Science and Information Systems on 22 July 2014

Dynamic-Epistemic reasoning on distributed systems

We propose a new logic designed for modelling and reasoning about information flow and information exchange between spatially located (but potentially mobile), interconnected agents witnessing a distributed computation. This is a major problem in the field of distributed systems, covering many different issues, with potential applications from Computer Science and Economy to Chemistry and Systems Biology. Underpinning on the dual algebraical-coalgebraical characteristics of process calculi, we design a decidable and completely axiomatizad logic that combines the processalgebraical/ equational and the modal/coequational features and is developed for process-algebraical semantics. The construction is done by mixing operators from dynamic and epistemic logics with operators from spatial logics for distributed and mobile systems. This is the preliminary version of a paper that will appear in Proceedings of the second Conference on Algebra and Coalgebra in Computer Science (CALCO2007), LNCS 4624, Springer, 2007. The original publication is available at www.springerlink.co

Technology assessment of advanced automation for space missions

Six general classes of technology requirements derived during the mission definition phase of the study were identified as having maximum importance and urgency, including autonomous world model based information systems, learning and hypothesis formation, natural language and other man-machine communication, space manufacturing, teleoperators and robot systems, and computer science and technology

COLLABORATIVE SYSTEMS AND MATHEMATICAL MODELS FOR LEADING ECONOMIC PROCESSES

A collaborative system is an interdisciplinary field located at the intersection of economics, computer science, management and sociology. These systems are focused on building connections between people, equipment and information. In the context of collaborative systems, the mathematical models used to simulate business processes provide information for building applications that help optimizing the business processes and contribute to sustaining economic decisions.collaborative system, mathematical model, simulation, repair, maintenance

Framework to Enhance Teaching and Learning in System Analysis and Unified Modelling Language

Cowling, MA ORCiD: 0000-0003-1444-1563; Munoz Carpio, JC ORCiD: 0000-0003-0251-5510Systems Analysis modelling is considered foundational for Information and Communication Technology (ICT) students, with introductory and advanced units included in nearly all ICT and computer science degrees. Yet despite this, novice systems analysts (learners) find modelling and systems thinking quite difficult to learn and master. This makes the process of teaching the fundamentals frustrating and time intensive. This paper will discuss the foundational problems that learners face when learning Systems Analysis modelling. Through a systematic literature review, a framework will be proposed based on the key problems that novice learners experience. In this proposed framework, a sequence of activities has been developed to facilitate understanding of the requirements, solutions and incremental modelling. An example is provided illustrating how the framework could be used to incorporate visualization and gaming elements into a Systems Analysis classroom; therefore, improving motivation and learning. Through this work, a greater understanding of the approach to teaching modelling within the computer science classroom will be provided, as well as a framework to guide future teaching activities