default search action
11th 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
Quantitative Model Checking of Knowledge. 91-107 - Samir Ouchani
A Probabilistic Verification Framework for SysML Activity Diagrams. 108-123 - Fernando Sérgio Barbosa
Modeling and Programming with Roles: Introducing JavaStage. 124-145 - Djedjiga Mouheb
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
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
Personality Estimation Application for Social Media. 327-335 - Hamido Fujita
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
New Ergonomic Metrics for Educational Ontology Design and Evaluation. 361-378 - Vincenzo Moscato
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 A., 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
Telecardiology for preventing sudden cardiac death in young people: an Italian high schools pilot study. 424-429 - Michel Steuwer
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
Optimization of a Condition Based Maintenance based on costs and safety in a production line. 457-474 - Mosè Gallo
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 2024-12-17 21:06 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by: