Software Engineering Research Group

Software Engineering research is focused on the following directions: (a) Program Analysis and Verification: formal mechanisms (such as Session Logic, K-framework) applied to specify and verify different program properties (b) Software Quality: studies related to evaluation and estimation of software quality factors in large applications and in different versions, and their relation to OO metrics (c) Model Driven Engineering: studies related to Executable Models and their specification language (fUML) and their impact on software development; as well as studies targeting the improvement of static semantics of modelling languages ad the use of OCL in this respect (d) Component Based Software Engineering: deals with developing software as a composition of various third party components. Our studies address problems such as: component selection, constraint based configuration of components and different optimizations.

Site web

http://www.cs.ubbcluj.ro/~se/

Link extern pentru Software Engineering Research Group

Sector de activitate

Servicii de cercetare

Dimensiunea companiei

11-50 de angajați

Sediu

Cluj-Napoca

Tip

Învățământ