Toward a new software development environment

Knowledge-Based Systems

Volumn 20, Issue 7, 2007, Pages 683-693

  Ktari, Béchir ^a   Fujita, Hamido ^b   Mejri, Mohamed ^a   Godbout, Daniel ^a  

^a UNIVERSITÉ LAVAL   (Canada)

^b IWATE PREFECTURAL UNIVERSITY   (Japan)

Author keywords

Java; JCSP; Lyee methodology; Lyee Calculus; Process algebra

Indexed keywords

COMPUTER PROGRAMMING; GRAPHICAL USER INTERFACES; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; PROCESS CONTROL;

JCSP; LYEE CALCULUS; LYEE METHODOLOGY; PROCESS ALGEBRA;

SOFTWARE ENGINEERING;

EID: 34848926883     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2007.05.006     Document Type: Article

References (10)

1. F. Negoro, I. Hamid, A proposal for intention engineering, 5th East-European Conference Advances in Databases and Information System (ADBIS'2001).
2. Mejri M., Ktari B., and Fujita H. Lyee-Calculus: a formalization of Lyee methodology. In: Fujita H., and Johannesson P. (Eds). New Trends in Software Methodologies, Tools and Techniques (2003), IOS Press 235-261 (Proceedings of the 2nd International Workshop on Lyee Methodology, Stockholm, Sweden)
3. Ktari B., Mejri M., and Fujita H. From Lyee-Calculus to Java code. In: Fujita H., and Johannesson P. (Eds). New Trends in Software, Methodologies Tools and Techniques (2004), IOS Press 235-261 (Proceedings of the 3rd International Workshop on Lyee Methodology, Leipzig, Germany)
4. Fujita H., Ktari B., and Mejri M. From Lyee-Calculus to Java code. Journal on Knowledge-Based Systems 17 5-6 (2004) 264-281
5. P. Welch, Communicating Sequential Processes for Java (JCSP), http://www.cs.kent.ac.uk/projects/ofa/jcsp/, 2004.
6. Eclipse Foundation, eclipse.org, http://www.eclipse.org, 2005.
7. Eclipse Foundation, The Eclipse Visual Editor Project, http://www.eclipse.org/vep/, 2005.
8. Eclipse Foundation, Eclipse Tools - EMF, SDO, XSD - Home, http://www.eclipse.org/emf/, 2005.
9. Mejri M., Ktari B., and Erhioui M. Static analysis on Lyee-oriented software. In: Fujita H., and Johannesson P. (Eds). New Trends in Software, Methodologies Tools and Techniques (2002), IOS Press 375-394 (Proceedings of 1st International Workshop on Lyee Methodology, Paris)
10. Fujita H., Ktari B., and Mejri M. Implementing Lyee-Calculus in Java. Journal on Knowledge-Based Systems 19 2 (2006) 116-129