We study and propose methods, models, processes, and tools for the development of software systems. Our research focuses on both theory and practice in software engineering. Current areas of research: formal methods for software development, requirements engineering, software quality, software testing, and software engineering education