default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th SoMeT 2012: Genoa, Italy
- Hamido Fujita, Roberto Revetria:
New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eleventh SoMeT '12, Genoa, Italy, September 26-28, 2012. Frontiers in Artificial Intelligence and Applications 246, IOS Press 2012, ISBN 978-1-61499-124-3
Chapter 1. Software Development
- Volker Gruhn, Christoph Hannebauer:
Using Wikis as Software Development Environments. 3-20 - Lin Wah Chan, René Hexel
, Lian Wen:
Integrating Non-Monotonic Reasoning into High Level Component-Based Modelling Using Behavior Trees. 21-40 - Takeshi Chusho:
Classification and Definitions of Business Logic for End-User-Initiative Development. 41-56 - Darioush Jalalinasab, Raman Ramsin:
Towards Model-Based Testing Patterns for Enhancing Agile Methodologies. 57-72 - Binazir Biglari, Raman Ramsin:
Generic Process Framework for Developing High-Integrity Software. 73-88
Chapter 2. Software System Verification and Aspect Engineering
- Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza:
Quantitative Model Checking of Knowledge. 91-107 - Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi:
A Probabilistic Verification Framework for SysML Activity Diagrams. 108-123 - Fernando Sérgio Barbosa, Ademar Aguiar:
Modeling and Programming with Roles: Introducing JavaStage. 124-145 - Djedjiga Mouheb, Raha Ziarati, Mourad Debbabi:
Continuation/Frame-based Semantics for Aspect Matching and Weaving. 146-161
Chapter 3. Software Based Learning System
- Ruth Cortez, Alexander Vazhenin, John Brine:
Wikipedia Miner Engine: A Re-usable e-Learning Service based on a Virtual MVC Design Pattern. 165-179 - Petr Sosnin:
Experiential Human-Computer Interaction in Collaborative Designing of Software Intensive Systems. 180-197 - Yutaka Watanobe, Tetsuya Shiota, Nikolay N. Mirenkov:
Units of Measure Analysis and Its Implementation for AIDA. 198-212
Chapter 4. Business Oriented Software and Related Models
- Wolfgang Runte:
Enhancing Business Process Management with a Constraint-Based Approach. 215-237 - Remigijus Gustas, Prima Gustiené:
A Graphical Method for Conceptual Modelling of Business and Software Scenarios. 238-253 - Dmitry Mouromtsev, Irina Livshits, Maxim Kolchin:
Knowledge based engineering system for structural optical design. 254-272 - Kohei Sugawara, Hamido Fujita:
Decision Support System for Handling Interruption in Tasks for Workers. 273-281
Chapter 5. Theory and Practices on Software
- Victor Malyshkin:
Two Approaches to Programs Synthesis or Implementation of Partially Defined Theories. 285-291 - Zenya Koono, Hui Chen:
Principle of Documents for Systems Design - Part 2: Sequential Case. 292-311 - Richard Kennard, John Leaney:
An Introduction to Software Mining. 312-323
Chapter 6. Intelligent System and User Interaction
- Atsunori Minamikawa, Hamido Fujita, Jun Hakura, Masaki Kurematsu:
Personality Estimation Application for Social Media. 327-335 - Hamido Fujita, Masaki Kurematsu, Jun Hakura:
Fuzzy Reasoning for Medical Diagnosis based on Type-2 Fuzzy Aggregation. 336-350 - Saori Amanuma, Masaki Kurematsu, Hamido Fujita:
An Idea of Improvement Decision Tree Learning Using Cluster Analysis. 351-358
Chapter 7. System Ontology and System Engineering
- Tatiana Gavrilova, Vladimir Gorovoy, Ekaterina Bolotnikova:
New Ergonomic Metrics for Educational Ontology Design and Evaluation. 361-378 - Vincenzo Moscato, Antonio Picariello, Angelo Chianese:
A system for building Image Ontologies from Web Information Sources. 379-394 - Anna Maria Di Sciullo:
Asymmetric Agreement in Pronominal Anaphora. 395-410
Chapter 8. Information System Applications
- Roberto Revetria, Alessandro Catania, Barbara Catania, Bruno Filippo Mazzarello:
Digital TV as Monitoring System for Elderly People Health Care. 413-423 - Igino Genuini, Alessandra D'Ambrosi, Elisa Silvetti, Claudio De Lazzari, Domenico M. Pisanelli, Francesco Fedele:
Telecardiology for preventing sudden cardiac death in young people: an Italian high schools pilot study. 424-429 - Michel Steuwer, Philipp Kegel, Sergei Gorlatch:
A High-Level Programming Approach for Distributed Systems with Accelerators. 430-441
Chapter 9. System Assessment Modeling
- Teresa Murino, Riccardo De Carlini, Giuseppe Naviglio:
An Economic Order Policy Assessment Model Based on a Customized AHP. 445-456 - Mosè Gallo, Daniela Rita Montella, Liberatina Carmela Santillo, Emidio Silenzi:
Optimization of a Condition Based Maintenance based on costs and safety in a production line. 457-474 - Mosè Gallo, Paola Aveta, Giuseppe Converso, Liberatina Carmela Santillo:
Planning of supply chain risks in a make-to-stock context through a System Dynamics approach. 475-496
Chapter 10. Intelligent Software for Planning and Manufacturing System
- Guido Guizzi, Daniela Chiocca, Elpidio Romano:
System Dynamics Approach to Model a Hybrid Manufacturing System. 499-517 - Raffaele Di Micco, Daniela Rita Montella, Giuseppe Naviglio, Elpidio Romano:
Design Of Experiments in a Single Stage Multi Product Kanban System. 518-537 - Guido Guizzi, Teresa Murino, Elpidio Romano:
An Innovative Approach to Environmental Issues: the Growth of a Green Market Modeled by System Dynamics. 538-557 - Giacomo Arata, Silvana Frascheri, Roberto Revetria, Alessandro Testa:
A Simulation Study for Supporting Maritime Coal Supply Chain Design. 558-572 - Giacomo Arata, Silvana Frascheri, Roberto Revetria, Alessandro Testa:
Evalutating Different Scenario in Maritime Coal Supply Chain Using Simulation. 573-589
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-09 22:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
