( en | de | ru )

 

Disambiguation of "Alencar, Paulo S. C."

Author of the publication

copydeleteadd this publication to your clipboard
Combining Formal Techniques and Prototyping in User Interface Construction and Verification.

, , , and . DSV-IS, page 174-192. Springer, (1995)

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.

S C Jones

Alencar Sulzbacher

Alencar Machado

Solveig C S Eschen

Milan Paulovic

 

Other publications of authors with the same name

Towards using task similarity to recommend Stack Overflow posts., , , , and . CIbSE, page 199-211. Curran Associates, (2018)An approach to formal automated analysis of problem-frame concerns., , , and . Inf. Softw. Technol., 47 (14): 913-927 (2005)KryptoOracle: A Real-Time Cryptocurrency Price Prediction Platform Using Twitter Sentiments., , and . CoRR, (2020)A Generative Approach for Multi-agent System Development., , , and . SELMAS, volume 3390 of Lecture Notes in Computer Science, page 52-69. Springer, (2004)A Method to Recommend Artifacts to New Tasks in Software Projects (S)., , and . SEKE, page 489-633. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2019)AgileCritPath: Identifying Critical Tasks in Agile Environments., , , , and . SEKE, page 20-38. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2019)A formal modeling and analysis approach for access control rules, policies, and their combinations., , and . Int. J. Inf. Sec., 16 (1): 43-74 (2017)Context-Augmented Software Development in Traditional and Big Data Projects: Literature Review and Preliminary Framework., , and . IEEE BigData, page 3449-3457. IEEE, (2019)Using Governance and Adaptive Normative Multiagent Systems for Dynamic Vehicle Platoon Formation., , , , and . IEEE BigData, page 3770-3774. IEEE, (2019)A model for the socially smart city practical uses of city-level socio-economic indicators., , , , , and . IEEE BigData, page 4058-4067. IEEE Computer Society, (2017)