Tiziana Margaria mainly investigates Software engineering, Model checking, Web service, Service and World Wide Web. Her Software engineering study combines topics from a wide range of disciplines, such as Software, Software development and Business process. Her research integrates issues of Range and Data-flow analysis in her study of Model checking.
Her Web service study combines topics from a wide range of disciplines, such as Application software and Intelligent Network. The concepts of her Service study are interwoven with issues in Orchestration and SIMPLE. Her World Wide Web research includes themes of Workflow and Service.
Tiziana Margaria spends much of her time researching Software engineering, Formal methods, Software, Model checking and Workflow. Tiziana Margaria focuses mostly in the field of Software engineering, narrowing it down to topics relating to Software verification and validation and, in certain cases, Software verification. Formal methods and Formal specification are commonly linked in her work.
Her research combines Service and Software. Her Model checking research is covered under the topics of Theoretical computer science and Programming language. Tiziana Margaria interconnects Domain, Executable and Data science in the investigation of issues within Workflow.
Tiziana Margaria focuses on Software engineering, Workflow, Software, Agile software development and Formal methods. Her work in the fields of Software engineering, such as Domain-specific language, overlaps with other areas such as Reuse. Her Workflow study incorporates themes from Programming language, Service, Process design and Systems engineering.
Her study in Software is interdisciplinary in nature, drawing from both Multimedia, Engineering management and Computational thinking. Tiziana Margaria has included themes like Knowledge management, Context, Data science and Process management in her Agile software development study. Her Data science research incorporates themes from Model checking and Data integration.
The scientist’s investigation covers issues in Software engineering, Workflow, Software, Process modeling and Agile software development. Her studies in Software engineering integrate themes in fields like Business domain and Digital subscriber line. The Workflow study which covers Model driven development that intersects with Abstract process and Management science.
Her Software development study in the realm of Software interacts with subjects such as Software security assurance. Tiziana Margaria has researched Agile software development in several fields, including Risk assessment, Data science and Process management. Her Formal methods study combines topics in areas such as Web application, Web service and World Wide Web.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Model-driven development with the jABC
Bernhard Steffen;Tiziana Margaria;Ralf Nagel;Sven Jörges.
haifa verification conference (2006)
Service-Oriented Computing – ICSOC 2008
Athman Bouguettaya;Ingolf Krueger;Tiziana Margaria.
(2008)
Agile IT: Thinking in User-Centric Models
Tiziana Margaria;Bernhard Steffen.
leveraging applications of formal methods (2008)
LearnLib: a framework for extrapolating behavioral models
Harald Raffelt;Bernhard Steffen;Therese Berg;Tiziana Margaria.
International Journal on Software Tools for Technology Transfer (2009)
Business Process Modeling in the jABC: The One-Thing Approach
Tiziana Margaria;Bernhard Steffen.
(2009)
Dynamic testing via automata learning
Harald Raffelt;Maik Merten;Bernhard Steffen;Tiziana Margaria.
International Journal on Software Tools for Technology Transfer (2009)
The Electronic Tool Integration platform: concepts and design
Bernhard Steffen;Tiziana Margaria;Volker Braun.
International Journal on Software Tools for Technology Transfer (1997)
Service Engineering: Linking Business and IT
T. Margaria;B. Steffen.
annual software engineering workshop (2006)
jETI : A tool for remote tool integration
Tiziana Margaria;Ralf Nagel;Bernhard Steffen.
Lecture Notes in Computer Science (2005)
Service-Orientation: Conquering Complexity with XMDD
Tiziana Margaria;Bernhard Steffen.
Conquering Complexity (2012)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
TU Dortmund University
Lero
Technische Universität Braunschweig
Aalborg University
Uppsala University
University of Sydney
Université Catholique de Louvain
University of Leicester
TU Dresden
University of Jyväskylä
French Institute for Research in Computer Science and Automation - INRIA
Publications: 6
University of Southern California
University of Central Florida
Semenov Institute of Chemical Physics
University of Rome Tor Vergata
Zhejiang A & F University
University of Aberdeen
University of Minnesota
University of Alberta
University of Pennsylvania
Jeonbuk National University
Case Western Reserve University
University of Ulsan
Universidade de São Paulo
Japan Agency for Marine-Earth Science and Technology
Basque Government
The University of Texas MD Anderson Cancer Center