Library

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    LEMMA: A Language for Easy Medical Models Analysis (1997)
    Springer
    Journal of medical systems 21 (1997), S. 369-388 
    Details
    ISSN: 1573-689X
    Keywords: definition ; optimization and analysis of medical processes
    Source: Springer Online Journal Archives 1860-2000
    Topics: Medicine
    Notes: Abstract The quality of health care systems and processes is becoming a prominent problem and more and more efforts are devoted to define methodologies and tools to measure and assure quality of care. New methods are required to optimize health care processes to guarantee high quality standards within (limited) available resources. Resource optimizations able to preserve the quality of treatments require good models of medical processes. This paper presents LEMMA, a new notation to model medical processes. LEMMA provides physicians with intuitive graphical elements to design their models. At the same time a high level timed Petri net corresponding to the designed model is built automatically. In this way, LEMMA models are ascribed formal semantics and can be executed and analyzed automatically. The dual language approach followed in this paper allows physicians to gain all the benefits of formal methods without being proficient in them. Medical users manage simple graphical elements, while Petri nets ensure formality and validation capabilities. In this way LEMMA mixes formal and informal notations, overcoming the problems of both the approaches. The definition of the notation has been supported by the development of an environment to design LEMMA models. The environment, besides letting us experiment with the notation, has been employed to define and analyze real case studies.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1022872229481
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Book
    Book
    Fundamental approaches to software engineering : 9th international conference ; proceedings; 3922 (2006)
    Berlin ; Heidelberg ; New York :Springer,
    Details
    Title: Fundamental approaches to software engineering : 9th international conference ; proceedings; 3922
    Contributer: Baresi, Luciano , FASE 〈9, 2006, Wien〉 , ETAPS 〈9, 2006, Wien〉
    Publisher: Berlin ; Heidelberg ; New York :Springer,
    Year of publication: 2006
    Pages: XIII, 425 S. : , graph. Darst. ; , 24 cm
    Series Statement: Lecture notes in computer science 3922
    ISBN: 978-3-540-33093-6 , 3-540-33093-3
    Type of Medium: Book
    Language: English
    URL: https://zbmath.org/?q=an:1132.68301
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...