6. SoMeT 2007: Rome, Italy

Hamido Fujita, Domenico M. Pisanelli (Eds.): New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Sixth SoMeT 2007, November 7-9, 2007, Rome, Italy. Frontiers in Artificial Intelligence and Applications 161 IOS Press 2007, ISBN 978-1-58603-794-9

Chapter 1. Software Engineering Best Practices

Brian Henderson-Sellers: On the Challenges of Correctly Using Metamodels in Software Engineering. 3-35
Krzysztof Sacha: Software Engineering Practices: An Auditor's Perspective. 36-51
Fritz Solms: Technology Neutral Business Process Design using URDAD. 52-70

Mingzhi Mao, Yunfei Jiang, Xiaolong Chai: A Method of Software Structure Designing Based on Graph Planning. 73-82
Asif Qumer, Brian Henderson-Sellers: ASOP: An Agile Service-Oriented Process. 83-92
Hatem Ben Sta, Khaled Ghédira: Approaching OWL and MDA through Knowledge Management System: Application to project Memory. 93-104
Yury A. Zagorulko, Olesya Borovikova: Methodology of Building and Using Ontology for Providing Content-Based Access to Scientific Information Resources. 105-115

Ernest A. Edmonds: The Art of Programming or Programs as Art. 119-125
Anna-Maria Di Sciullo: A Remark on Natural Language Processing from the Biolinguistic Perspective. 126-144
Hamido Fujita, Jun Hakura, Masaki Kurematsu: Cognitive Modeling in Software and Relation to Human Emotional Reasoning. 145-165
Roman Danylak, Zafer Bilda, Ernest A. Edmonds: Establishing research criteria for performed gestures and emotional interaction in an gestural film game: To be or not to be. 166-181

Lamia Hamza, Kamel Adi: Formal Technique for Discovering Complex Attacks in Computer Systems. 185-199
T. Mechri, Mahjoub Langar, Mohamed Mejri, Hamido Fujita, Yutaka Funyu: Automatic Enforcement of Security in Computer Networks. 200-222

Osamu Arai, Hamido Fujita: New Verification of Reactive Requirement for Lyee Method. 225-238
Jamal Bentahar, John-Jules Ch. Meyer: Model Checking Communicative Agent-Based Systems. 239-265

Daniel Fötsch, Elke Pulvermueller: Constructing higher-level Transformation Languages based on XML. 269-284
François Lajeunesse-Robert, Béchir Ktari: Toward Solving Equations in Kleene Algebras. 285-304
Dirk Wilking, Stefan Kowalewski: Analyzing Software Engineering Processes on Source Code Level. 305-314
Mark O'Keeffe, Mel Ó Cinnéide: Automated Design Improvement by Example. 315-329
Kazuaki Maeda: Experience of XML-Based Source Code Representation with Parsing Actions. 330-339

Luigi Logrippo: Normative Systems: the meeting point between Jurisprudence and Information Technology? - A position paper. 343-354
Victor Malyshkin: On Implementability of the Formal Specifications. 355-360
Zenya Koono, Hui Chen, Hassan Abolhassani: An Introduction to the Quantitative, Rational and Scientific Process of Software Development (Part 1). 361-371
Zenya Koono, Hui Chen, Hassan Abolhassani: An Introduction to the Quantitative, Rational and Scientific Process of Software Development (Part 2). 372-390
Zeeshan Ahmed: Measurement Analysis and Fault Proneness Indication in Product Line Applications (PLA). 391-400

Sergei Gorlatch, Jens Müller, Martin Alt, Jan Dünnweber, Hamido Fujita, Yutaka Funyu: Clayworks: Toward User-Oriented Software for Collaborative Modeling and Simulation. 403-415
Shogo Hayashida, Noriko Taniguchi, Rikio Maruta: A Unique Trial of Developing Software for the Actual Application by an Engineer with Non-Software Background. 416-426
Yutaka Watanobe, Nikolay N. Mirenkov, Rentaro Yoshioka: Algorithm Library based on Algorithmic CyberFilms. 427-447
Kohei Sugawara, Rikio Maruta: A Novel Intuitive GUI Method for User-Friendly Operation. 448-463

George Feuerlicht, Amalka Wijayaweera: Determinants of Service Reusability. 467-474
Hidaka Yano, Sota Honda, Jun Sasaki, Michiru Tanaka, Keizo Yamada, Yutaka Funyu: Development of a Maintenance Environment that Enabling Users to Revise Existing Web Applications. 475-484
Domenico M. Pisanelli, Massimo Battaglia, Claudio De Lazzari: ROME: a Reference Ontology in Medicine. 485-493
Sota Honda, Hidaka Yano, Michiru Tanaka, Keizo Yamada, Jun Sasaki, Yutaka Funyu: A Collaborative Environment for User-initiated Development of Web Applications. 494-504