James F. Peters is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Manitoba (Canada). He has published numerous papers on formal methods in the design of real-time systems, application of fuzzy sets, rough sets, Petri nets and software engineering. He serves as Associate Editor of Control Engineering Practice and is an IEEE distinguished lecturer on formal methods in system design. Witold Pedrycz is a Professor and Associate Head in the Department of Electrical and Computer Engineering at the University of Alberta (Canada). He has published numerous papers and is an author of a research monograph on fuzzy control and fuzzy systems, one on fuzzy sets engineering, and a co-author of a monograph on fuzzy relational equations. He serves as Associate Editor for the Transactions on Fuzzy Systems, Transactions on Neural Networks, and is a member of the editorial board.

• SOFTWARE ENGINEER'S WORKSHOP. Software Engineering Landscape. Software Processes. Requirements Engineering. Software Design: Architectures. SoftwareDesign: Validation and Risk Analysis. Design Elaboration. Design Elaboration: Mobile Computing. Software Verification. Software Measures. Software Cost Estimation. Software Reliability. Computational Intelligence in Software Engineering. READINGS. Index.

James F. Peters is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Manitoba (Canada). He has published numerous papers on formal methods in the design of real-time systems, application of fuzzy sets, rough sets, Petri nets and software engineering. He serves as Associate Editor of Control Engineering Practice and is an IEEE distinguished lecturer on formal methods in system design. Witold Pedrycz is a Professor and Associate Head in the Department of Electrical and Computer Engineering at the University of Alberta (Canada). He has published numerous papers and is an author of a research monograph on fuzzy control and fuzzy systems, one on fuzzy sets engineering, and a co-author of a monograph on fuzzy relational equations. He serves as Associate Editor for the Transactions on Fuzzy Systems, Transactions on Neural Networks, and is a member of the editorial board.

• SOFTWARE ENGINEER'S WORKSHOP. Software Engineering Landscape. Software Processes. Requirements Engineering. Software Design: Architectures. SoftwareDesign: Validation and Risk Analysis. Design Elaboration. Design Elaboration: Mobile Computing. Software Verification. Software Measures. Software Cost Estimation. Software Reliability. Computational Intelligence in Software Engineering. READINGS. Index.

James F. Peters is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Manitoba (Canada). He has published numerous papers on formal methods in the design of real-time systems, application of fuzzy sets, rough sets, Petri nets and software engineering. He serves as Associate Editor of Control Engineering Practice and is an IEEE distinguished lecturer on formal methods in system design. Witold Pedrycz is a Professor and Associate Head in the Department of Electrical and Computer Engineering at the University of Alberta (Canada). He has published numerous papers and is an author of a research monograph on fuzzy control and fuzzy systems, one on fuzzy sets engineering, and a co-author of a monograph on fuzzy relational equations. He serves as Associate Editor for the Transactions on Fuzzy Systems, Transactions on Neural Networks, and is a member of the editorial board.

• SOFTWARE ENGINEER'S WORKSHOP. Software Engineering Landscape. Software Processes. Requirements Engineering. Software Design: Architectures. SoftwareDesign: Validation and Risk Analysis. Design Elaboration. Design Elaboration: Mobile Computing. Software Verification. Software Measures. Software Cost Estimation. Software Reliability. Computational Intelligence in Software Engineering. READINGS. Index.