Group: SRG - library 129 articles Export

	Conformance notions for the coordination of interaction components [My Copy] Science of Computer Programming (05 December 2010) by Rodrigo Ramos, Augusto Sampaio, Alexandre Mota posted to 2010 by leonardo to the group SRG on 2009-12-08 18:16:33 as
	Compositional Verification of Input-Output Conformance via CSP Refinement Checking [My Copy] Formal Methods and Software Engineering (2009), pp. 20-48. by Augusto Sampaio, Sidney Nogueira, Alexandre Mota posted to refinement csp compositional_verification _conference 2009 by leonardo to the group SRG on 2009-11-21 01:20:43 as
	A Mechanized Strategy for Safe Abstraction of CSP Specifications [My Copy] Formal Methods: Foundations and Applications (2009), pp. 118-133. by Adriana Damasceno, Adalberto Farias, Alexandre Mota posted to csp _conference 2009 by leonardo to the group SRG on 2009-11-08 13:58:03 as
	Formalisation and Analysis of Objects as CSP Processes [My Copy] Formal Methods: Foundations and Applications In SBMF, Vol. 5902 (2009), pp. 236-250. by Renata Kaufman, Augusto Sampaio, Alexandre Mota edited by Marcel Vinicius Medeiros Oliveira, Jim Woodcock, Marcel Vinicius Medeiros Oliveira, Jim Woodcock posted to csp _conference 2009 by leonardo to the group SRG on 2009-11-08 13:56:08 as
	A Complete Set of Object Modeling Laws for Alloy [My Copy] Formal Methods: Foundations and Applications, Vol. 5902 (2009), pp. 204-219. by Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio posted to alloy 2009 by leonardo to the group SRG on 2009-11-08 13:54:34 as
	Systematic Development of Trustworthy Component Systems [My Copy] FM 2009: Formal Methods (2009), pp. 140-156. by Rodrigo Ramos, Augusto Sampaio, Alexandre Mota posted to csp component_composition 2009 by leonardo to the group SRG on 2009-11-07 13:23:54 as
	Sound refactorings [My Copy] Science of Computer Programming (2010) by Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio posted to soundness refinement refactoring _qualis_b1 _journal 2010 by leonardo to the group SRG on 2009-10-31 00:20:25 as
	Checking Z Data Refinements Using Traces Refinement [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 240 (02 July 2009), pp. 129-148. by André Didier, Adalberto Farias, Alexandre Mota posted to _qualis_b2 2009 _journal by leonardo to the group SRG on 2009-07-23 16:04:46 as
	Multiple Synchrony in MSC [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 240 (02 July 2009), pp. 149-166. by Flávia Falcão, Juliano Iyoda, Augusto Sampaio posted to _qualis_b2 2009 _journal by leonardo to the group SRG on 2009-07-23 16:04:28 as
	An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs [My Copy] Software Testing Verification and Validation, 2009. ICST '09. International Conference on In 2009 International Conference on Software Testing Verification and Validation (ICST) (April 2009), pp. 21-30. by Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota posted to 2009 _conference _venue_icst blackbox crash tests by leonardo to the group SRG on 2009-05-28 16:06:19 as
	Laws of Object-Orientation with Reference Semantics [My Copy] Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on In 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM) (November 2008), pp. 217-226. by Leila Silva, Augusto Sampaio, Zhiming Liu posted to 2008 _conference by leonardo to the group SRG on 2009-04-24 13:58:02 as
	Abstraction of Infinite and Communicating CSPZ Processes [My Copy] (26 January 2009) by Adalberto C. Farias posted to 2009 _phd cspz data_abstraction data_refinement formal_methods formal_specification model_verification process_refinement by leonardo to the group SRG on 2009-01-29 18:15:38 as
	Unifying Models of Test Cases and Requirements [My Copy] Latin America Transactions, IEEE (Revista IEEE America Latina) In Latin America Transactions, IEEE (Revista IEEE America Latina), Vol. 6, No. 3. (July 2008), pp. 267-274. by Clelio Feitosa, Glaucia Peres, Alexandre Mota posted to 2008 _journal _qualis_c controlled_natural_language csp formal_methods formal_models modelling unifying_models by leonardo to the group SRG on 2009-01-22 14:17:11 as
	An Strategy for Automatic Conformance Testing in Embedded Systems [My Copy] Latin America Transactions, IEEE (Revista IEEE America Latina) In Latin America Transactions, IEEE (Revista IEEE America Latina), Vol. 6, No. 3. (July 2008), pp. 290-297. by Cristiano Bertolini, Alexandre Mota posted to 2008 _journal _qualis_c conformance_testing csp refinement_checking by leonardo to the group SRG on 2009-01-22 14:16:58 as
	JACK: A Framework for Process Algebra Implementation in Java [My Copy] (2002) by Leonardo Freitas, Augusto Sampaio, Ana Cavalcanti posted to 2002 _conference concurrency csp design_patterns java process_algebra by leonardo to the group SRG on 2008-11-29 01:40:45 as
	Procedures and Recursion in the Refinement Calculus [My Copy] Journal of the Brazilian Computer Society, Vol. 5, No. 1. (July 1998) by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock posted to 1998 _journal _qualis_b2 refinement_calculus by leonardo to the group SRG on 2008-11-28 14:19:45 as
	Automated formal specification generation and refinement from requirement documents [My Copy] Journal of the Brazilian Computer Society, Vol. 14, No. 1. (June 2008), pp. 87-106. by Gustavo Cabral, Augusto Sampaio posted to 2008 _journal _qualis_b2 by leonardo to the group SRG on 2008-11-28 14:01:56 as
	Model Checking Data-Dependent CSP-Z Processes [My Copy] (2001) by Alexandre C. Mota posted to 2001 _phd by leonardo to the group SRG on 2008-10-16 19:31:30 as
	An Algebraic Approach to Hardware/Software Partitioning [My Copy] (2000) by Leila Silva posted to 2000 _phd by leonardo to the group SRG on 2008-10-16 19:27:49 as
	GAADT - Um Algorimo Genético Baseado em Tipos Abstratos de Dados [My Copy] (2003) by Roberta V. Vieira edited by Augusto Sampaio posted to 2003 _phd by leonardo to the group SRG on 2008-10-16 19:27:49 as
	An Algebraic Approach to the Design of Compilers for Object-Oriented Languages [My Copy] (2005) by Adolfo A. Duran edited by Augusto Sampaio posted to 2005 _phd by leonardo to the group SRG on 2008-10-16 19:27:49 as
	A Framework for Specification and Validation of Real Time Systems [My Copy] (2006) by Adnan Sherif edited by Augusto Sampaio posted to 2006 _phd by leonardo to the group SRG on 2008-10-16 19:27:49 as
	Guided Test Generation from CSP Models [My Copy] Theoretical Aspects of Computing - ICTAC 2008 In Lecture Notes in Computer Science, Vol. 5160 (2008), pp. 258-273. by Sidney Nogueira, Augusto Sampaio, Alexandre Mota edited by John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun posted to 2008 _conference _venue_ictac csp test testpurpose by leonardo to the group SRG on 2008-08-29 14:10:43 as along with 4 people thiers20 mishra_satish newdawn sidney
	A Permutation Technique for Test Case Prioritization in a Black-box Environment [My Copy] 2nd Brazilian Workshop on Systematic and Automated Software Testing (SAST 2008) In 2nd Brazilian Workshop on Systematic and Automated Software Testing (SAST 2008) (13 October 2008) by Lucas Lima, Juliano Iyoda, Augusto Sampaio posted to 2008 _conference _venue_sast blackbox permutation priorization tests by leonardo to the group SRG on 2008-07-24 13:09:40 as
	Checking Z Data Refinements Using Traces Refinement [My Copy] Brazilian Symposium on Formal Methods (SBMF 2008) In Brazilian Symposium on Formal Methods (SBMF 2008) (August 2008) by André Didier, Adalberto Farias, Alexandre Mota edited by Patrícia Machado posted to 2008 _conference _venue_sbmf refinement by leonardo to the group SRG on 2008-07-21 16:49:18 as
	Multiple Synchrony in MSC [My Copy] Brazilian Symposium on Formal Methods (SBMF 2008) In Brazilian Symposium on Formal Methods (SBMF 2008) (August 2008) by Flávia Falcão, Juliano Iyoda, Augusto Sampaio edited by Patricia Machado posted to 2008 _conference _venue_sbmf msc by leonardo to the group SRG on 2008-07-21 16:45:21 as
	Refactorings as Formal Refinements [My Copy] (2004) by Márcio Cornélio edited by Augusto Sampaio posted to 2004 formal_refinement _phd refactoring rool by leonardo to the group SRG on 2008-06-24 20:08:39 as
	Refinement in Circus [My Copy] FME 2002:Formal Methods—Getting IT Right (2002), pp. 1-15. by Augusto Sampaio, Jim Woodcock, Ana Cavalcanti posted to 2002 circus _conference csp refinement z by leonardo to the group SRG on 2008-06-19 20:55:54 as along with 1 person michaelbanks
	Unifying Models of Test Cases and Requirements [My Copy] IDEAS 2008 In Iberoamerican Workshop on Requirements Engineering and Software Environments 2008 (11 February 2008) by Clélio Feitosa, Gláucia Peres, Alexandre Mota posted to 2008 _conference _qualis_b5 by leonardo to the group SRG on 2008-05-01 16:23:43 as
	Especificação Funcional de um Interpretador [My Copy] (1987) by Augusto Sampaio, Sílvio Meira posted to 1987 _conference by leonardo to the group SRG on 2008-04-29 19:11:04 as
	GEMS - Um Gerenciador de Módulos de Software [My Copy] GEMS - Um Gerenciador de Módulos de Software. In: II SBES - Simpósio Brasileiro de Engenharia de Software, 1988, Canela. II SBES - Simpósio Brasileiro de Engenharia de Software. Porto Alegre : SBC, 1988. v, Vol. 2. (1988), pp. 61-74. by Max Albuquerque, Hermano Moura, Augusto Sampaio, Sílvio Meira posted to 1988 _conference by leonardo to the group SRG on 2008-04-29 19:11:04 as
	Zc : Uma Notação para Especificação de Sistemas Complexos [My Copy] Zc : Uma Notação para Especificação de Sistemas Complexos. In: XV SEMISH - Congresso da SBC, 1988, Rio de Janeiro. XV SEMISH - Congresso da SBC. Porto Alegre : SBC, 1988. v, Vol. 15. (1988), pp. 188-200. by Augusto Sampaio, Sílvio Meira posted to 1988 _conference by leonardo to the group SRG on 2008-04-29 19:11:04 as
	Especificação em Z de um Interpretador para uma Linguagem Simples [My Copy] Especificação em Z de um Interpretador para uma Linguagem Simples. In: XV SEMISH - Congresso da SBC, 1988, Rio de Janeiro. XV SEMISH - Congresso da SBC. Porto Alegre : SBC, 1988. v, Vol. 15. (1988), pp. 201-213. by Augusto Sampaio, Sílvio Meira posted to 1988 _conference by leonardo to the group SRG on 2008-04-29 19:11:04 as
	Uma Análise de Adequação e Validação de Primitivas de Comunicação entre Processos [My Copy] SBRC - Simpósio Brasileiro de Redes de Computadores In SBRC - Simpósio Brasileiro de Redes de Computadores (1988) by Augusto Sampaio, Paulo Cunha posted to _conference by leonardo to the group SRG on 2008-04-29 19:11:04 as
	From Hardware/Software Partitioning To Layout Synthesis: A Transformation Approach [My Copy] (1994), pp. 089-100. by Edna Barros, Manuel Lima, Augusto Sampaio posted to no-tag by leonardo to the group SRG on 2008-04-29 19:11:04 as
	Um Estudo de Caso Real Em Refinamento de Especificações Formais Orientadas A Objetos [My Copy] (1994), pp. 143-158. by Virgínia Cordeiro, Augusto Sampaio, Sílvio Meira posted to no-tag by leonardo to the group SRG on 2008-04-29 19:11:04 as
	De Mooz Para Eiffel [My Copy] (1994), pp. 379-393. by Virgínia Cordeiro, Augusto Sampaio, Sílvio Meira posted to no-tag by leonardo to the group SRG on 2008-04-29 19:11:04 as
	Proving Algebraic Properties Of Intervals Using OBJ3 [My Copy] (1995), pp. 118-122. by Marcília Campos, Augusto Sampaio, A. Brainer posted to no-tag by leonardo to the group SRG on 2008-04-29 19:11:04 as
	Um Método de Desenvolvimento de Programas Para Obj3 [My Copy] (1995), pp. 1051-1062. by Augusto Sampaio, J. Lima posted to no-tag by leonardo to the group SRG on 2008-04-29 19:11:03 as
	Reusing Algebraic Theories in Program Transformation [My Copy] (1996) by Augusto Sampaio posted to 1996 _conference by leonardo to the group SRG on 2008-04-29 19:11:03 as
	A Transformational Approach to Hardware/Software Partitioning [My Copy] (1996) by Augusto Sampaio, Leila Silva, Edna Barros posted to no-tag by leonardo to the group SRG on 2008-04-29 19:11:03 as
	Formalização Algébrica de Um Metodo Para Particionamento Hardware/Software [My Copy] (1996), pp. 285-296. by Augusto Sampaio, A. Pires posted to no-tag by leonardo to the group SRG on 2008-04-29 19:11:03 as
	De Occam Para O Transputer: Compilacao Via Reescrita de Termos [My Copy] (1996), pp. 103-117. by Augusto Sampaio, R. Spencer posted to no-tag by leonardo to the group SRG on 2008-04-29 19:11:03 as
	Projeto Integrado de Hardware e Software Com Ênfase Em Corretude: Um Estudo de Caso [My Copy] In: XXIV Seminario Integrado de Software e Hardware, Vol. 27. (1997), pp. 47-58. by Leila Silva, Augusto Sampaio, Edna Barros posted to 1997 _conference by leonardo to the group SRG on 2008-04-29 19:11:03 as
	An Algebraic Approach to Codesign [My Copy] (1999) by Augusto Sampaio, Leila Silva, Edna Barros, Juliano Iyoda posted to 1999 _conference codesign by leonardo to the group SRG on 2008-04-29 19:11:03 as
	Basic Laws of ROOL: an Object-Oriented Language [My Copy] In: Workshop de Metodos Formais, Vol. 14. (2000), pp. 33-44. by Paulo Borba, Augusto Sampaio posted to 2000 _conference by leonardo to the group SRG on 2008-04-29 19:11:03 as
	The Automation of a Normal Form Reduction Strategy for Object-Oriented Programming [My Copy] In: Workshop de Métodos Formais, Vol. 5. (2002), pp. 193-208. by B. Oliveira, Ana Cavalcanti, Augusto Sampaio posted to 2002 _conference by leonardo to the group SRG on 2008-04-29 19:11:03 as
	Type Checking Circus Specifications [My Copy] In Simpósio Brasileiro de Métodos Formais (2006), pp. 105-120. by Manuela Xavier, Ana Cavalcanti, Augusto Sampaio posted to _conference by leonardo to the group SRG on 2008-04-29 19:11:03 as
	Formal Specification Generation from Requirement Documents [My Copy] In Simpósio Brasileiro de Métodos Formais (2006), pp. 217-232. by Gustavo Cabral, Augusto Sampaio posted to _conference by leonardo to the group SRG on 2008-04-29 19:11:03 as
	Residência em Software [My Copy] In . Simpósio Brasileiro de Qualidade de Software (2006), pp. 150-157. by Augusto Sampaio, Hermano Moura, Alexandre Vasconcelos posted to _conference by leonardo to the group SRG on 2008-04-29 19:11:03 as

Note: You may cite this page as: http://www.citeulike.org/group/3126

Result page: 1 2 3 Next

_conference	70
_journal	30
csp	21
_qualis_b2	17
2008	15
refinement	14
2005	13
z	11
2002	11
_qualis_b1	10
2009	9
2006	8
2003	8
umlrt	7
_phd	7
formal_methods	7
cspz	6
circus	6
2004	6
2000	5
2001	5
1997	5
model_checking	5
2007	5
_book	4
mooz	4
refinement_calculus	4
java	4
1999	4
refactoring	4
_chapter	4
1988	4
transformation	3
test	3
rool	3
1990	3
_venue_sbmf	3
_msc	3
_thesis	3
1994	3
algebraic_laws	3
formal_refinement	2
_qualis_b5	2
1998	2
formal_specification	2
_venue_fmoods	2
concurrency	2
data_abstraction	2
tool	2
1987	2
process_algebra	2
uml	2
oop	2
_qualis_c	2
formal_verification	2
requirements	2
tests	2
1996	2
design_patterns	2
blackbox	2
timed-csp-z	2
1991	2
2010	2
laws	2
msc	1
csp-oz	1
permutation	1
_venue_ictac	1
1989	1
compilation	1
refinement_checking	1
functional_languages	1
_qualis_a2	1
occam	1
model_verification	1
_qualis_a1	1
compiler	1
semantics	1
_venue_icst	1
alloy	1
formal_methods_integration	1
soundness	1
modelling	1
language_design	1
rup	1
codesign	1
algebraic	1
process_refinement	1
conformance_testing	1
controlled_natural_language	1
tool_support	1
petrinets	1
object-oriented_specification	1
_venue_models	1
composition	1
priorization	1
unifying_models	1
obj3	1
parameterized_programming	1
specification_languages	1
integrated_formalism	1
model_transformation	1
object	1
formal_models	1
1993	1
frameworks	1
specification	1
model_patterns	1
summer_school	1
approach	1
_venue_sac	1
case_study	1
translation	1
co-design	1
design	1
type_checking	1
operational_semantics	1
rapid_prototyping	1
1995	1
hardware_software_partitioning	1
component_composition	1
verification	1
utp	1
aspects	1
ohcircus	1
_venue_sast	1
overview	1
crash	1
real-time	1
data_refinement	1
eiffel	1
compositional_verification	1
_qualis_b3	1
_to_review	1
algebraic_derivation	1
vdm	1
compilers	1
testpurpose	1
method_integration	1

Group: SRG - library 129 articles Export

Group Tags