PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "de Lucena, Carlos José Pereira"

Author of the publication

copydeleteadd this publication to your clipboard
An Approach for Data Type Specification and Its Use in Program Verification.

, and . Inf. Process. Lett., 8 (2): 98-103 (1979)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jithin Jose University of Stuttgart

Basil Jose University of Stuttgart

Renan Pereira Alessio University of Stuttgart

Carlos Peiro Frasquet University of Stuttgart

Carlos Sánchez Delgado University of Stuttgart

 

Other publications of authors with the same name

Automating the product derivation process of multi-agent systems product lines., , , and . Journal of Systems and Software, 85 (2): 258-276 (2012)Asset-Mapping Approaches to Web-Based Collaborative Innovation., , , , and . Web Intelligence, page 528-532. IEEE Computer Society, (2010)Applying anote to modeling multi agent systems a case study in e-business., , and . IASTED Conf. on Software Engineering, page 538-543. IASTED/ACTA Press, (2004)Analysing the Impact of Feature Dependency Implementation on Product Line Stability: An Exploratory Study., , , , , , and . SBES, page 141-150. IEEE Computer Society, (2012)A Pattern-Based Approach to Structural Design Composition., , , and . COMPSAC, page 160-165. IEEE Computer Society, (1999)Extending (Object-)Z for multi-agent systems specification., , and . CAiSE Workshops (2), page 280-294. Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia, (2004)Design and Implementation of Data Abstraction Definition Facility., and . Softw., Pract. Exper., 8 (6): 709-719 (1978)IUP/LED: A Portable User Interface Development Tool., , , , and . Softw., Pract. Exper., 26 (7): 737-762 (1996)User-centric preference-based decision making., , , and . AAMAS, page 1225-1226. IFAAMAS, (2012)O Ambiente Visual Spider para o Desenvolvimento de Aplicações para a Internet., and . RITA, 4 (2): 59-78 (1997)