Component coordination: a telecommunication case study
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Tool-Supported Verification of Product Line Requirements
Automated Software Engineering
Rich services: addressing challenges of ultra-large-scale software-intensive systems
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems
An investigation of software development productivity in China
ICSP'08 Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story
Feature-oriented requirements modelling
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Multifunctional software systems: Structured modeling and specification of functional requirements
Science of Computer Programming
| Hi-index | 0.00 |
Abstract: In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototypical example of such an application domain. This paper examines how requirements engineering, formal description techniques, and formal methods should be adapted to work well in these application domains.