Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th SoMeT 2007: Rome, Italy
- Hamido Fujita, Domenico M. Pisanelli:
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
Chapter 2. Software Development and Related Methodologies
- 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
Chapter 3. Cognitive Modeling on Software Design and Natural Language Representation
- 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
Chapter 4. Network Software Security
- 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
Chapter 5. Software Security and Validation
- 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
Chapter 6. Program Conversion and Related Software Validation
- Daniel Fötsch, Elke Pulvermüller:
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
Chapter 7. Intelligent Software Design and Maintenance
- 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
Chapter 8. User Requirement Engineering and Development
- Sergei Gorlatch, Jens Müller, Martin Helmut 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
Chapter 9. Service Oriented Systems
- 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
a service of 
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-05-15 21:43 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
