: Models from methods like Contextual Design (CD) are a sound basis for requirements engineering. But current software engineering processes are not prepared to use such models. To...
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
As development techniques, paradigms and platforms evolve far more quickly than domain applications, software modernization and migration, is a constant challenge to software engin...
The mining of textual artifacts is requisite for many important activities in software engineering: tracing of requirements; retrieval of components from a repository; location of...
Jane Huffman Hayes, Alex Dekhtyar, Senthil Karthik...