Software Technology: Methods and Tools

Software Technology: Methods and Tools
Author: Manuel Mazzara
Publisher: Springer Nature
Total Pages: 429
Release: 2019-10-08
Genre: Computers
ISBN: 3030298523

​This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.The 19 revised full papers and 13 short papers presented in this book were carefully reviewed and selected from 62 submissions. The papers discuss all aspects of software engineering and programming languages; machine learning; internet of things; security computer architectures and robotics; and projects.

Software Engineering for Manufacturing Systems

Software Engineering for Manufacturing Systems
Author: A. Storr
Publisher: Springer Science & Business Media
Total Pages: 216
Release: 1996-09-30
Genre: Technology & Engineering
ISBN: 9780412784606

Software has become a decisive cost and time factor in regard to developing and establishing manufacturing systems and setting them into operation. In addition, software determines the availability, reliability as well as functionality of manufacturing units. Software Engineering for Manufacturing Systems considers the methods and procedures required to deal with problems in the software engineering of control technology for manufacturing systems. Significantly, the following topics are addressed: * definitions and requirements of software for control technology * system design, describing forms of control software * CASE tools for the generation of a code * configuration, adaption of standard software variants, and re-usability of software * and man-machine interface. It contains the selected proceedings of the International Conference on Software Engineering and Case Tools for Control Technology of Manufacturing Systems, sponsored by the IFIP and held in Germany, in March 1996.

Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques

Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques
Author: H. Fujita
Publisher: IOS Press
Total Pages: 770
Release: 2019-09-17
Genre: Computers
ISBN: 1643680137

Software has become ever more crucial as an enabler, from daily routines to important national decisions. But from time to time, as society adapts to frequent and rapid changes in technology, software development fails to come up to expectations due to issues with efficiency, reliability and security, and with the robustness of methodologies, tools and techniques not keeping pace with the rapidly evolving market. This book presents the proceedings of SoMeT_19, the 18th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques, held in Kuching, Malaysia, from 23–25 September 2019. The book explores new trends and theories that highlight the direction and development of software methodologies, tools and techniques, and aims to capture the essence of a new state of the art in software science and its supporting technology, and to identify the challenges that such a technology will have to master. The book also investigates other comparable theories and practices in software science, including emerging technologies, from their computational foundations in terms of models, methodologies, and tools. The 56 papers included here are divided into 5 chapters: Intelligent software systems design and techniques in software engineering; Machine learning techniques for software systems; Requirements engineering, software design and development techniques; Software methodologies, tools and techniques for industry; and Knowledge science and intelligent computing. This comprehensive overview of information systems and research projects will be invaluable to all those whose work involves the assessment and solution of real-world software problems.

New Trends in Software Methodologies, Tools and Techniques

New Trends in Software Methodologies, Tools and Techniques
Author: H. Fujita
Publisher: IOS Press
Total Pages: 492
Release: 2006-10-03
Genre: Computers
ISBN: 1607502062

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 tomorrow’s information society. This publication is an attempt to capture the essence of a new state of art in software science and its supporting technology. Is also aims at identifying the challenges such a technology has to master.

Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology
Author: V.S. Alagar
Publisher: Springer Science & Business Media
Total Pages: 612
Release: 1995-05-21
Genre: Computers
ISBN: 9783540600435

This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995. It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. The 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and reactive systems, software technology, logic programming and databases.

Software Process Technology

Software Process Technology
Author: Vincenzo Ambriola
Publisher: Springer
Total Pages: 254
Release: 2003-06-29
Genre: Computers
ISBN: 3540457526

This book constitutes the refereed proceedings of the 8th European Workshop on Software Process Technology, EWSPT 2001, held in Witten, Germany, in June 2001. The 18 revised full papers presented were carefully reviewed and selected from 31 submissions. Among the areas addressed are process evolution, experiences, mobility and distribution, UML process patterns, and process improvement.

Ontologies for Software Engineering and Software Technology

Ontologies for Software Engineering and Software Technology
Author: Coral Calero
Publisher: Springer Science & Business Media
Total Pages: 344
Release: 2006-10-12
Genre: Computers
ISBN: 3540345183

This book covers two applications of ontologies in software engineering and software technology: sharing knowledge of the problem domain and using a common terminology among all stakeholders; and filtering the knowledge when defining models and metamodels. By presenting the advanced use of ontologies in software research and software projects, this book is of benefit to software engineering researchers in both academia and industry.

Tutorial on Software Design Techniques

Tutorial on Software Design Techniques
Author: Peter Freeman
Publisher:
Total Pages: 474
Release: 1980
Genre: Computer programming
ISBN:

Basic concepts; Analysis and specification techniques; Architectural desogn techniques; Data design techniques; Detailed design techniques; Management issues; Annotated software design bibliography.

Online Course Management: Concepts, Methodologies, Tools, and Applications

Online Course Management: Concepts, Methodologies, Tools, and Applications
Author: Management Association, Information Resources
Publisher: IGI Global
Total Pages: 2280
Release: 2018-03-02
Genre: Education
ISBN: 1522554734

The rapid growth in online and virtual learning opportunities has created culturally diverse classes and corporate training sessions. Instruction for these learning opportunities must adjust to meet participant needs. Online Course Management: Concepts, Methodologies, Tools, and Applications is a comprehensive reference source for the latest scholarly material on the trends, techniques, and management of online and distance-learning environments and examines the benefits and challenges of these developments. Highlighting a range of pertinent topics, such as blended learning, social presence, and educational online games, this multi-volume book is ideally designed for administrators, developers, instructors, staff, technical support, and students actively involved in teaching in online learning environments.