A number of design models have been proposed in the area of Human-Computer Interaction (HCI) to support user-centered system design. High-level, abstract task models and detailed interface specification languages are among the most widely used. However, the need for designing applications to run in a number of different devices and platforms presents new… (More)
This paper proposes the use of an interaction modelling language called MoLIC to graphically represent scenarios as an additional resource in software development. MoLIC brings human-computer interaction (HCI) concerns to software engineering processes. It does so by representing potential user-system interaction paths, which will not only allow software… (More)
Many design models and representations have been proposed to support user-centered system design, such as scenarios, use cases, and prototypes. With these artifacts, designers typically deal with representations of fragments of the application, and sometimes have difficulties communicating with one another about design decisions. To face some of the… (More)
This paper discusses the role of an enhanced extended lexicon as a shared communicative artifact during software design. We describe how it may act as an interlingua that captures the shared understanding of both stakeholders and designers. We argue for the need to address communicative concerns among design team members, as well as from designers to users… (More)
This paper addresses the challenge of efficiently representing and communicating decisions about human-computer interaction to collaborate with software engineers. It describes and illustrates in a case study how an interaction modeling language based on the semiotic engineering of human-computer interaction may be used to derive a skeleton of certain UML… (More)
Objective To identify metabolomic changes in lung tissue associated with lung injury induced by mechanical ventilation (VILI) in animals with sepsis, using for the first time a global unbiased metabolomic fingerprinting approach. Methods Rats received cecal-ligation and puncture (CLP) or sham operation, and 24 h later underwent mechanical ventilation for… (More)
IC technology continues to closely follow Moore's Law, while the ability to verify designs lags behind. The International Technology Roadmap for Semiconductors (ITRS) predicts production of chips using 16nm technology already by 2015, but the verification gap, i.e., advancements in verification technology not keeping up with advancements in design… (More)
This paper describes the introduction of human-computer interaction activities in the Corporate IT Department in a large energy company in Brazil. It is certified by ISO 9001:2000, and thus has a set of norms that IT employees must follow during the software development process. We discuss the introduction of HCI activities into these norms.