An integrated approach to engineering computer systems
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
An object oriented design method for reconfigurable computing systems
DATE '00 Proceedings of the conference on Design, automation and test in Europe
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A simple method & tool for web engineering
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Role of Model Transformation in Method Engineering
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
A Toolbox for Automating Visual Software Engineering
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
LEMMA: a language for easy medical models analysis
CBMS '97 Proceedings of the 10th IEEE Symposium on Computer-Based Medical Systems (CBMS '97)
A formal requirements engineering method for specification, synthesis, and verification
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Comparison of Software Product Line Architecture Design Methods: COPA, FAST, FORM, KobrA and QADA
Proceedings of the 26th International Conference on Software Engineering
Comparison of Software Product Line Architecture Design Methods: COPA, FAST, FORM, KobrA and QADA
Proceedings of the 26th International Conference on Software Engineering
Sustainable Technology Transfer
Proceedings of the 2006 international workshop on Software technology transfer in software engineering
Method Engineering: State-of-the-Art Survey and Research Proposal
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Generating formal specifications from CASE repositories
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
JSD = Δ CSP ⊕ TLZ: a case study
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Hi-index | 0.00 |