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 BibTeX

Chapter 1. Software Engineering Best Practices

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

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

Ernest A. Edmonds: The Art of Programming or Programs as Art. 119-125 BibTeX
Anna-Maria Di Sciullo: A Remark on Natural Language Processing from the Biolinguistic Perspective. 126-144 BibTeX
Hamido Fujita, Jun Hakura, Masaki Kurematsu: Cognitive Modeling in Software and Relation to Human Emotional Reasoning. 145-165 BibTeX
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 BibTeX

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

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

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

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

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 BibTeX
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 BibTeX
Yutaka Watanobe, Nikolay N. Mirenkov, Rentaro Yoshioka: Algorithm Library based on Algorithmic CyberFilms. 427-447 BibTeX
Kohei Sugawara, Rikio Maruta: A Novel Intuitive GUI Method for User-Friendly Operation. 448-463 BibTeX

George Feuerlicht, Amalka Wijayaweera: Determinants of Service Reusability. 467-474 BibTeX
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 BibTeX
Domenico M. Pisanelli, Massimo Battaglia, Claudio De Lazzari: ROME: a Reference Ontology in Medicine. 485-493 BibTeX
Sota Honda, Hidaka Yano, Michiru Tanaka, Keizo Yamada, Jun Sasaki, Yutaka Funyu: A Collaborative Environment for User-initiated Development of Web Applications. 494-504 BibTeX