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...
L. Thomas van Binsbergen, Neil Sculthorpe, Peter D...
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...
The architecture of interactive systems does not match the procedural decomposition mechanisms available in most programming languages, leading to architectural mismatch. Constrai...
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...
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...
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...
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 ...
—A growing interest in personal knowledge management (PKM) against personal information management (PIM) has initiated the reverse engineering process between the two concepts. P...
Shahrinaz Ismail, Siti Farah Mohammad Suhaimi, Moh...
—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...
John Boaz Lee, Akinori Ihara, Akito Monden, Ken-ic...
Abstract. Automatic synthesis of hardware components from declarative specifications is an ambitious endeavor in computer aided design. Existing synthesis algorithms are often imp...