No abstract available.
Cited By
- Pazos-Arias J, García-Duque J and López-Nores M Locating crosscutting concerns in the formal specification of distributed reactive systems Proceedings of the 2005 workshop on Modeling and analysis of concerns in software, (1-5)
- Almeida J, Dijkman R, Pires L, Quartel D and van Sinderen M Abstract Interactions and Interaction Refinement in Model-Driven Design Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference, (273-286)
- López-Nores M, Pazos-Arias J, García-Duque J, Barragáns-Martínez B, Díaz-Redondo R, Fernández-Vilas A, Gil-Solla A and Ramos-Cabrer M Tracing integration analysis in component-based formal specifications Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, (147-162)
- Pazos-Arias J, García-Duque J and López-Nores M (2005). Locating crosscutting concerns in the formal specification of distributed reactive systems, ACM SIGSOFT Software Engineering Notes, 30:4, (1-5), Online publication date: 1-Jul-2005.
- Bolognesi T (2000). Toward Constraint-Object-Oriented Development, IEEE Transactions on Software Engineering, 26:7, (594-616), Online publication date: 1-Jul-2000.
- Clark R and Moreira A (1999). Formal Specifications of User Requirements, Automated Software Engineering, 6:3, (217-232), Online publication date: 1-Jul-1999.
- Bjørner D and Cuéllar J (2018). Software engineering education, Annals of Software Engineering, 6:1-4, (365-409), Online publication date: 1-Apr-1999.
- Keyes D, Dillon L and Chung M Analysis of a scheduler for a CAD framework Proceedings of the 21st international conference on Software engineering, (152-161)
Recommendations
A Survey of Software Engineering Practice: Tools, Methods, and Results
The results of a survey of software development practice are reported and analyzed. The problems encountered in various phases of the software life cycle are measured and correlated with characteristics of the responding installations. The use and ...
Software development: what it is, what it should be, and how to get there
Developing large software systems is notoriously difficult and unpredictable. Software projects are often canceled, finish late and over budget, or yield low quality results --- setting software engineering apart from established engineering ...
Development of software engineering: co-operative efforts from academia, government and industry
ICSE '06: Proceedings of the 28th international conference on Software engineeringIn the past 40 years, software engineering has emerged as an important sub-field of computer science. The quality and productivity of software have been improved and the cost and risk of software development been decreased due to the contributions made ...