New Trends in Software Methodologies, Tools and TechniquesHamido Fujita, Domenico M. Pisanelli Publisher description: "Software is the essential enabler for the new economy and for science. It creates new markets and new directions for a more reliable, flexible and robust society. It empowers the exploration of our world in ever more depth. However, software often falls short of our expectations. Current software methodologies, tools, and techniques remain expensive and not yet reliable enough for a highly changeable and evolutionary market. Many approaches have been proven only as case-by-case oriented methods. This book, as part of the SOMET series, presents new trends and theories in the direction in which we believe software science and engineering may develop to transform the role of software and science integration in tomorrow's global information society. This book is an attempt to capture the essence on a new state of art in software science and its supporting technology. The book also aims at identifying the challenges such a technology has to master. One of the important issues addressed by this book is software development security tools and techniques.". |
Contents
Software Development and Related Methodologies | 71 |
Cognitive Modeling on Software Design and Natural Language Representation | 117 |
Network Software Security | 183 |
Software Security and Validation | 223 |
Program Conversion and Related Software Validation | 267 |
Intelligent Software Design and Maintenance | 341 |
User Requirement Engineering and Development | 401 |
Service Oriented Systems | 465 |
Author Index | 505 |
Other editions - View all
Common terms and phrases
ABTA agile algorithmic cyberFilm analysis application approach architecture asymmetric relations attack business process Clayworks cognitive components concepts cyberFrames database defect defined definition diagram documents domain elements emotional environment equations evaluation example execution expressions facial Fig.3 image Figure formula function gestures graph hierarchy Icon idempotent idempotent semiring implementation input integrated interaction interface IOS Press Iwate Prefectural Java Kleene algebra level of granularity logic Lyee metamodel method methodology metrics model checking nodes object-oriented ontology operators paper parser PC(Ag portal problem Push-Pin refactoring requirements reuse rules scenarios security policy semantics semiring sequence server service-oriented Service-Oriented Architecture shows software development Software Engineering solution source code specification structure syntax target object technique template temporal logic Ticlopidine transition system URDAD User Action variable verify voxels web application XSLT



