New trends in software methodologies, tools and techniques : proceedings of the fifth SoMeT 06 /
New trends in software methodologies, tools and techniques : proceedings of the fifth SoMeT 06 /
edited by Hamido Fujita and Mohamed Mejri.
- Amsterdam ; Washington, D.C. : IOS Press, ©2006.
- 1 online resource (xiii, 475 pages) : illustrations.
- Frontiers in artificial intelligence and applications ; v. 147 .
- Frontiers in artificial intelligence and applications ; v. 147. .
Includes bibliographical references and index.
Title page; Preface; SoMeT Organization; Contents; Software Specification and Comprehension Models; Software Development and Related Methodologies; Network Security and Applications; Software Security and Program Bugs; Validation and Diagnosis and Practical Artefacts on Software Security; Program Conversion and Related Software Validation; Intelligent Software Design and Maintenance; End User Requirement Engineering and Testing; Author Index.
Use copy
Software is the essential enabler for the new economy and science. This book presents a number of 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.
Electronic reproduction.
[S.l.] :
HathiTrust Digital Library,
2010.
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
http://purl.oclc.org/DLF/benchrepro0212
1429419083 9781429419086 9781607502067 1607502062
978-1-58603-673-7 IOS Press http://www.iospress.nl
Software engineering--Congresses.
Expert systems (Computer science)--Congresses.
Artificial intelligence--Congresses.
Computer software--Development--Congresses.
COMPUTERS--Programming--Open Source.
COMPUTERS--Software Development & Engineering--Tools.
COMPUTERS--Software Development & Engineering--General.
Artificial intelligence.
Computer software--Development.
Expert systems (Computer science)
Software engineering.
Electronic books.
Conference papers and proceedings.
QA76.758 / .I5717 2006eb
005.1
Includes bibliographical references and index.
Title page; Preface; SoMeT Organization; Contents; Software Specification and Comprehension Models; Software Development and Related Methodologies; Network Security and Applications; Software Security and Program Bugs; Validation and Diagnosis and Practical Artefacts on Software Security; Program Conversion and Related Software Validation; Intelligent Software Design and Maintenance; End User Requirement Engineering and Testing; Author Index.
Use copy
Software is the essential enabler for the new economy and science. This book presents a number of 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.
Electronic reproduction.
[S.l.] :
HathiTrust Digital Library,
2010.
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
http://purl.oclc.org/DLF/benchrepro0212
1429419083 9781429419086 9781607502067 1607502062
978-1-58603-673-7 IOS Press http://www.iospress.nl
Software engineering--Congresses.
Expert systems (Computer science)--Congresses.
Artificial intelligence--Congresses.
Computer software--Development--Congresses.
COMPUTERS--Programming--Open Source.
COMPUTERS--Software Development & Engineering--Tools.
COMPUTERS--Software Development & Engineering--General.
Artificial intelligence.
Computer software--Development.
Expert systems (Computer science)
Software engineering.
Electronic books.
Conference papers and proceedings.
QA76.758 / .I5717 2006eb
005.1