|
|
|
|
Ibrahim, Rosziati
Koloej University Technology Tun Hussein Onn
Parit Raja, Batu Pahat, Malaysia
|
|
|
|
|
|
|
|
|
Date Reviewed |
|
|
1 - 10 of 28
reviews
|
|
|
|
|
|
|
|
Validation of formal specifications through transformation and animation Mashkoor A., Jacquot J. Requirements Engineering 22(4): 433-451, 2017. Type: Article
A validation check between a design and its implementation is usually done in order to validate the correctness of the requirements for any system. It is crucial to check that the requirements are correct when the system is developed. ...
|
Jan 18 2018 |
|
|
|
|
|
|
An approach to checking consistency between UML class model and its Java implementation Chavez H., Shen W., France R., Mechling B., Li G. IEEE Transactions on Software Engineering 42(4): 322-344, 2016. Type: Article
Checking for consistency between a design and its implementation is usually done manually. It is crucial to check that the diagrams, especially class diagrams, developed at the design level are consistent with the system as developed a...
|
Jan 12 2017 |
|
|
|
|
|
|
Proving language inclusion and equivalence by coinduction Rot J., Bonsangue M., Rutten J. Information and Computation 24662-76, 2016. Type: Article
Rot et al. present various operations on languages by using the mathematical theory approach in order to prove the similarity of two languages. Four operations are used for the proof of soundness on their technique, called bisimulation...
|
May 24 2016 |
|
|
|
|
|
|
Evaluating the productivity of a reference-based programming approach: a controlled experiment Sturm A., Kramer O. Information and Software Technology 56(10): 1390-1402, 2014. Type: Article
Sturm and Kramer present a qualitative evaluation using a questionnaire approach. They investigate the applicability and efficiency of adopting application-based domain modeling (ADOM) for improving productivity in terms of code qualit...
|
Jul 15 2015 |
|
|
|
|
|
|
An expert system hybrid architecture to support experiment management Fiannaca A., La Rosa M., Rizzo R., Urso A., Gaglio S. Expert Systems with Applications: An International Journal 41(4): 1609-1621, 2014. Type: Article
Fiannaca et al. present a hybrid architecture for building an expert system. Their hybrid architecture combines three different approaches: procedural, workflow, and declarative. For the procedural approach, the abstraction layers are ...
|
Mar 25 2015 |
|
|
|
|
|
|
Flow logic for process calculi Nielson H., Nielson F., Pilegaard H. ACM Computing Surveys 44(1): 1-39, 2012. Type: Article
Nielson et al. present an approach using flow logic to represent programming notations in process calculi. Flow logic is usually used in static analysis for language paradigms, including imperative, functional, and concurrent features....
|
May 30 2012 |
|
|
|
|
|
|
Development and configuration of service-oriented systems families Mohabbati B., Hatala M., Gašević D., Asadi M., Bošković M. SAC 2011 (Proceedings of the 2011 ACM Symposium on Applied Computing, Taichung, Taiwan, Mar 21-24, 2011) 1606-1613, 2011. Type: Proceedings
Mohabbati et al. present a feature-oriented method for the development and configuration of service-oriented software product lines (SPLs). The method reuses services as reusable assets for the implementation. The selected services mus...
|
Sep 2 2011 |
|
|
|
|
|
|
Towards automatization of domain modeling Reinhartz-Berger I. Data & Knowledge Engineering 69(5): 491-515, 2010. Type: Article
Reinhartz-Berger, in this paper, presents a method for semi-automation of a domain model. Her approach, which is based on the general domain engineering approach, is to create draft models based on families of relevant applications tha...
|
Aug 2 2011 |
|
|
|
|
|
|
Program verification through characteristic formulae Charguéraud A. ACM SIGPLAN Notices 45(9): 321-332, 2010. Type: Article
Charguéraud presents a tool for the verification of purely functional programs consisting of two parts. The first part is used to generate characteristic formulas, and the second part is used to formulate a set of lemmas, nota...
|
Apr 18 2011 |
|
|
|
|
|
|
Design pattern recovery based on annotations Rasool G., Philippow I., Mäder P. Advances in Engineering Software 41(4): 519-526, 2010. Type: Article
Rasool et al. present an approach for design pattern recovery using a detection technique with source code. Their technique is able to recover design patterns from source code based on annotations used in the source code....
|
Jan 24 2011 |
|
|
|
|
|
|
|
|
|
|
|