TY - GEN
T1 - Specification and modeling
T2 - 23rd International Conference on Software Engineering, ICSE 2001
AU - Broy, Manfred
N1 - Publisher Copyright:
© 2001 IEEE.
PY - 2001
Y1 - 2001
N2 - The specification and modeling of software systems, of their aspects, and their development processes is at the heart of software engineering. Over the years, we have achieved a much deeper and more comprehensive understanding of software and its models as a basis for its specification. However, there is still a way to go to make sure that all we know right now is transferred into practice, and that all we do not understand so far is investigated in depth. The goal is a tractable scientgc basis for modeling and specification in programming, software and system engineering and its employment in engineering methods.
AB - The specification and modeling of software systems, of their aspects, and their development processes is at the heart of software engineering. Over the years, we have achieved a much deeper and more comprehensive understanding of software and its models as a basis for its specification. However, there is still a way to go to make sure that all we know right now is transferred into practice, and that all we do not understand so far is investigated in depth. The goal is a tractable scientgc basis for modeling and specification in programming, software and system engineering and its employment in engineering methods.
KW - Modeling
KW - Quality assurance
KW - Requirements engineering
KW - Specification
KW - Tool support
UR - http://www.scopus.com/inward/record.url?scp=35048868259&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:35048868259
T3 - Proceedings - International Conference on Software Engineering
SP - 673
EP - 675
BT - Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001
PB - IEEE Computer Society
Y2 - 12 May 2001 through 19 May 2001
ER -