AOSD
2016
ACM
8 years 4 months ago
2016
ACM
The PLanCompS project has developed a component-based approach to formal semantics. Here, we present the tools we have implemented to support component-based language definitions...
AOSD
2016
ACM
8 years 4 months ago
2016
ACM
Every fragment of code we write has dependencies and associated metadata. Code dependencies range from local references and standard library definitions to external third party l...
AOSD
2016
ACM
8 years 4 months ago
2016
ACM
The architecture of interactive systems does not match the procedural decomposition mechanisms available in most programming languages, leading to architectural mismatch. Constrai...
AC
2015
Springer
8 years 4 months ago
2015
Springer
A fundamental problem in computer science is, stated informally: Given a problem, how hard is it?. We measure hardness by looking at the following question: Given a set A whats is...
IWPSE
2013
IEEE
9 years 2 months ago
2013
IEEE
Model-driven engineering (MDE) is a software engineering discipline focusing on models as the primary artifacts in the software development process while programs are mainly gener...
EUROSPI
2013
Springer
9 years 2 months ago
2013
Springer
Abstract. Most formal assessment and evaluation techniques and standards assume that software can be analysed like any physical item. In safety-critical systems, software is an imp...
CRIWG
2013
9 years 2 months ago
2013
Abstract. Social media enables a new model of managing knowledge that involves formal and informal communication, collaboration using a variety of applications. Using a case study ...
CITA
2013
IEEE
9 years 2 months ago
2013
IEEE
—A growing interest in personal knowledge management (PKM) against personal information management (PIM) has initiated the reverse engineering process between the two concepts. P...
APSEC
2013
IEEE
9 years 2 months ago
2013
IEEE
—In an Open Source Software (OSS) project, many developers contribute by submitting source code patches. To maintain the quality of the code, certain experienced developers revie...
VMCAI
2014
Springer
9 years 2 months ago
2014
Springer
Abstract. Automatic synthesis of hardware components from declarative specifications is an ambitious endeavor in computer aided design. Existing synthesis algorithms are often imp...