New Trends in Software Methodologies, Tools, and Techniques: Proceedings of the Third SoMeT W04
Hamido Fujita, Volker Gruhn
IOS Press, Jan 1, 2004 - Computers - 373 pages
Software is the essential enabler for the new economy and 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 behind our expectations. Current software methodologies, tools, and techniques remain expensive and not yet reliable for a highly changeable and evolutionary market. Many approaches have been proven only as case-by-case oriented methods. This book presents a number of 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 in tomorrows information society. This book is an attempt to capture the essence of 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. This book covers subjects on Ontology and Software Requirement, Enterprise and Conceptual Software Models, Declarative Representation for Software Development, Requirement Representation and Formalization, Formal Specification and Language Interpretation, Legacy Systems and Language Conversions, Software Quality and Development Measurement, and Software Development Practices Models examples. Each of these chapters contains well-reviewed and selected papers, so the reader can enjoy the state-of-the-art on the need on such new emerged technology.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Bayesian Network Development
Concept and Operationalism Turbulence and Ontology Specification
17 other sections not shown
Other editions - View all
abstraction action activity actors agile software development algorithm analysis application approach architecture automatically basic Bayesian networks CFRF cluster communication logs concepts constraints construction database declarative programming defects defined definition denoted diagram documents domain enterprise architecture enterprise modelling environment evaluation Event example execution explicit knowledge expression Figure formal specification Fujita HIMEKAMI implementation information system input items integration interaction interface IOS Press Java JCSP logic logic programming Lyee methodology Lyee theory Lyee-Calculus meta-model nodes notation object ontology operators parameters phase phpMyAdmin Pipelet Pipeline pre-release CR's problem programming language random variables real-time recursive functions relation representation requirements engineering result scenarios screen semantics sequence server severity-1 smallest class software development Software Engineering Software Methodologies SQA method structure Synchronization blocks techniques tool vector Web Services word XOpT