Company profile
Software Engineering Research Group
Program Analysis and Verification, Software Quality, Model Driven Engineering, Component Based Software Engineering
- Industry
- Research Services
- Employees
- 11
- Headquarters
- Cluj-Napoca
- Office locations
- 1
Software Engineering Research Group company summary
Software Engineering Research Group is a company in the Research Services industry, headquartered in Cluj-Napoca. On LinkedIn the company has around 11 employees.
What technology does Software Engineering Research Group use?
No technologies detected yet. Warmrank rechecks company websites on a rolling basis.
About 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.
Where is Software Engineering Research Group located?
Software Engineering Research Group lists 1 location.
Compare companies similar to Software Engineering Research Group
More companies in Research Services.
| Company | Industry | Employees | Founded | Headquarters |
|---|---|---|---|---|
Software Engineering Research Group ubbcluj.ro | Research Services | 11 | - | Cluj-Napoca |
 Google DeepMind deepmind.google | Research Services | 10,044 | 2010 | London, London, GB |
 PPD ppd.com | Research Services | 20,326 | - | Waltham, Massachusetts |
 Sony Research India sonyresearchindia.com | Research Services | 79 | 2020 | Bengaluru, Karnataka |
 CERN home.cern | Research Services | 8,126 | 1954 | Meyrin, Genève |
 NIH Innovates nih.gov | Research Services | 1,536 | - | Bethesda, MD |
| Research Services | 4,981 | 1901 | Gaithersburg, MD | |
 Forrester forrester.com | Research Services | 1,651 | - | Cambridge, MA |
 CSIRO csiro.au | Research Services | 6,785 | - | Acton, ACT |
 European Research Council (ERC) europa.eu | Research Services | 582 | 2007 | Saint-Josse-ten-Noode, Brussels |
| Research Services | 4,739 | 1916 | Ottawa, Ontario |
Frequently asked questions about Software Engineering Research Group
What does Software Engineering Research Group do?
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.
How many employees does Software Engineering Research Group have?
Software Engineering Research Group has around 11 employees on LinkedIn.
Where is Software Engineering Research Group headquartered?
Software Engineering Research Group is headquartered in Cluj-Napoca.
Build a lead list from companies like Software Engineering Research Group
Describe your ICP or import a CSV. Warmrank finds matching companies, enriches contacts with verified emails, and tracks every lead.