Sciweavers

2487 search results - page 65 / 498
» Collaborative Engineering Software Development: Ontology-Bas...
Sort
View
ZUM
1994
Springer
147views Formal Methods» more  ZUM 1994»
15 years 6 months ago
Integrating Formal Methods into a Professional Master of Software Engineering Program
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
David Garlan
ADAEUROPE
2007
Springer
15 years 4 months ago
Automatic Ada Code Generation Using a Model-Driven Engineering Approach
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...
Diego Alonso, Cristina Vicente-Chicote, Pedro S&aa...
133
Voted
COMPSAC
2006
IEEE
15 years 8 months ago
Automated Agent Synthesis for Situation Awareness in Service-Based Systems
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic ser...
Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...
ISESE
2002
IEEE
15 years 7 months ago
'Bad Practice' or 'Bad Methods' -- Are Software Engineering and Ethnographic Discourses Incompatible?
Organisational problems in industry have evoked increased interest in empirical methodologies in the broader software engineering community. In particular, the human role in softw...
Kari Rönkkö, Olle Lindeberg, Yvonne Ditt...
WEBENG
2001
Springer
15 years 6 months ago
Development and Evolution of Web-Applications Using the WebComposition Process Model
From a software engineering perspective the World Wide Web is a new application platform. The implementation model that the Web is based on makes it difficult to apply classic proc...
Martin Gaedke, Guntram Gräf