A systematic review of theory use in studies investigating the motivations of software engineers

Systems, methods and apparatus for implementation of formal specifications derived from informal requirements

Systems, methods and apparatus for verification of knowledge-based sytems

A Template-driven Approach for Maintainable Service-oriented Information Systems Integration

Term transformers: A new approach to state

Tool Support for Automating Architectural Knowledge Extraction, the workshop on Sharing and Reusing architectural knowledge (SHARK)

Software Architects: A Different Type of Software Practitioner

Software Architecture Reviews: The State of the Practice

Software Product Line Engineering: The Future Research Directions

Software Product Lines in Automotive Systems Engineering