物件導向軟體之架構(Object-Oriented Software Construction)探討

Despite the word's common usage by gamers and reviewers alike, it is still not clear what immersion means. This paper explores immersion further by investigating whether immersion can be defined quantitatively, describing three experiments in total. The first experiment investigated participants' abilities to switch from an immersive to a non-immersive task. The second experiment investigated whether there were changes in participants' eye movements during an immersive task. The third experiment investigated the effect of an externally imposed pace of interaction on immersion and affective measures (state anxiety, positive affect, negative affect). Overall the findings suggest that immersion can be measured subjectively (through questionnaires) as well as objectively (task completion time, eye movements). Furthermore, immersion is not only viewed as a positive experience: negative emotions and uneasiness (i.e. anxiety) also run high.

Measuring and defining the experience of immersion in games

Creativity: Flow and the Psychology of Discovery and Invention

State-Trait Anxiety Inventoryによるペインクリニック外来患者の不安の評価

Social science research contains a wealth of knowledge for people seeking to understand collaboration processes. The authors argue that public managers should look inside the “black box” of collaboration processes. Inside, they will find a complex construct of five variable dimensions: governance, administration, organizational autonomy, mutuality, and norms. Public managers must know these five dimensions and manage them intentionally in order to collaborate effectively.

https://www.jstor.org/stable/pdfplus/4096567.pdf

Collaboration Processes: Inside the Black Box

In this paper we study the automation of test derivation and execution in the area of conformance testing. The test scenarios are derived from multiple specification languages: LOTOS, Promela and SDL. A central theme of this study is the usability of batch-oriented and on-the-fly testing approaches. To facilitate the derivation from multiple formal description techniques and the different test execution approaches, an open, generic environment called TorX is introduced. TorX enables plugging in existing or dedicated tools. We have carried out several experiments in testing a conference protocol, resulting in requirements on automated testing and benchmarking criteria.

/pdf/formal-test-automation-a-simple-experiment-17oo88etok.pdf

Formal Test Automation: A Simple Experiment

Body temperature is one of the key parameters for health monitoring of premature infants at the neonatal intensive care unit (NICU). In this paper, we propose and demonstrate a design of non-invasive neonatal temperature monitoring with wearable sensors. A negative temperature coefficient (NTC) resistor is applied as the temperature sensor due to its accuracy and small size. Conductive textile wires are used to make the sensor integration compatible for a wearable non-invasive monitoring platform, such as a neonatal smart jacket. Location of the sensor, materials and appearance are designed to optimize the functionality, patient comfort and the possibilities for aesthetic features. A prototype belt is built of soft bamboo fabrics with NTC sensor integrated to demonstrate the temperature monitoring. Experimental results from the testing on neonates at NICU of Maxima Medical Center (MMC), Veldhoven, the Netherlands, show the accurate temperature monitoring by the prototype belt comparing with the standard patient monitor.

Monitoring body temperature of newborn infants at neonatal intensive care units using wearable sensors

Critically ill new born babies admitted at the Neonatal Intensive Care Unit (NICU) are extremely tiny and vulnerable to external disturbance. Smart Jacket proposed in this paper is the vision of a wearable unobtrusive continuous monitoring system realized by body sensor networks (BSN) and wireless communication. The smart jacket aims for providing reliable health monitoring as well as a comfortable clinical environment for neonatal care and parent-child interaction. We present the first version of the neonatal jacket that enables ECG measurement by textile electrodes. We also explore a new solution for skin-contact challenges that textile electrodes pose. The jacket is expandable with new wearable technologies and has aesthetics that appeal to parents and medical staff. An iterative design process in close contact with the users and experts lead to a balanced integration of technology, user focus and aesthetics. We demonstrate the prototype and the experimental results obtained in clinical setting.

http://dc-bdps.wikispaces.asu.edu/file/view/NeoNatalMonitoring.pdf

Smart Jacket Design for Neonatal Monitoring with Wearable Sensors

This paper reports on our experience with a relational approach to support the analysis of existing software architectures. The analysis options provide for visualization and view calculation. The approach has been applied for reverse engineering. It is also possible to check concrete designs against architecture-related rules. The paper surveys the theory, the tools and some of the applications developed so far. © 1998 John Wiley & Sons, Ltd.

A relational approach to support software architecture analysis

We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checker then derives test sequences that fulfill these test purposes. The method is demonstrated by applying it to a specification of an Intelligent Network with two features.

/pdf/test-generation-for-intelligent-networks-using-model-445agin6ij.pdf

Loe Feijs

Papers

Formal Test Automation: A Simple Experiment

Monitoring body temperature of newborn infants at neonatal intensive care units using wearable sensors

Smart Jacket Design for Neonatal Monitoring with Wearable Sensors

A relational approach to support software architecture analysis

Test Generation for Intelligent Networks Using Model Checking