The following pages link to Carlos J. P. Lucena (Q1859498):
Displaying 29 items.
- (Q1137373) (redirect page) (← links)
- An approach for data type specification and its use in program verification (Q1137374) (← links)
- (Q1226386) (redirect page) (← links)
- Toward a system's environment for computer assisted programming (Q1226388) (← links)
- Views and patterns in E-commerce application design (Q1859500) (← links)
- A formal description of evolving software systems architectures (Q1892180) (← links)
- A logical framework for evolving software systems (Q1911313) (← links)
- (Q2773806) (← links)
- (Q3045626) (← links)
- Modularizing Design Patterns with Aspects: A Quantitative Study (Q3634730) (← links)
- Higher order data types (Q3860824) (← links)
- A data-directed approach to program construction (Q3863047) (← links)
- Program Derivation Using Data Types: A Case Study (Q3865441) (← links)
- Pointers and data abstractions in high level languages—I: Language proposals (Q3871892) (← links)
- On the design and specification of message oriented programs (Q3891748) (← links)
- (Q4060345) (← links)
- (Q4094383) (← links)
- (Q4107897) (← links)
- (Q4107919) (← links)
- (Q4157928) (← links)
- Design and implementation of data abstraction definition facility (Q4166197) (← links)
- (Q4282923) (← links)
- (Q4364612) (← links)
- (Q4364630) (← links)
- (Q4413272) (← links)
- (Q4413280) (← links)
- A multi‐agent framework to build integer programming applications to playoff elimination in sports tournaments (Q4600631) (← links)
- Taming access control security: extending capabilities using the views relationship (Q4791014) (← links)
- (Q4794169) (← links)
