Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Isabel Nunes
A 5-Step Hunt for Faults in Java Implementations of Algebraic Specifications
Uma Experiência De Analise De Videoaulas Baseada No Comportamento De Estudantes
Modelo De Visualização De Dados Para Auxiliar O Professor No Acompanhamento Do Desempenho Do Aluno E Aprimoramento Do Design Instrucional Com O Apoio De Learning Analytics
Related publications
Generating XTAG Parsers From Algebraic Specifications
Real-Time Java API Specifications for High Coverage Test Generation
Designing Dependable Logic Controllers Using Algebraic Specifications
IFAC Proceedings Volumes
The Algebraic Specifications Do Not Have the Tennenbaum Property
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Coinductive Big-Step Operational Semantics for Type Soundness of Java-Like Languages
Implementations of Geographically Weighted Lasso in Spatial Data With Multicollinearity (Case Study: Poverty Modeling of Java Island)
Java Security Extensions for a Java Server in a Hostile Environment
The Hunt for MH370
Science
Multidisciplinary
Philosophy of Science
History
A Logical Framework for Evolution of Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
