Group: SRG - with tag _conference [70 articles] Export Sort

Recent papers posted by members of the SRG group with tag _conference

Hide details

	Compositional Verification of Input-Output Conformance via CSP Refinement Checking [My Copy] Formal Methods and Software Engineering, Vol. 5885 (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 along with 1 person sidney
	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
	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
	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
	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
	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
	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
	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
	A Support Tool for CSPZ Data Abstraction [My Copy] In: FORMAL METHODS EUROPE (2003) by Alexandre Mota, Adalberto Farias, Augusto Sampaio posted to 2003 _conference by leonardo to the group SRG on 2008-04-29 16:13:50 as
	Model Checking CSPz: Techniques to Overcome State Explosion [My Copy] (2002) by Alexandre Mota, Augusto Sampaio, Paulo Borba posted to 2002 _conference csp cspz model_checking by leonardo to the group SRG on 2008-04-29 16:13:50 as
	De CSPz para CSPm: Uma ferramenta transformacional Java [My Copy] (2001), pp. 1-10. by Alexandre Mota, Adalberto Farias, Augusto Sampaio posted to 2001 _conference csp by leonardo to the group SRG on 2008-04-29 16:13:50 as
	Efficient Analysis of Infinite CSPZ Processes [My Copy] (2002), pp. 113-128. by Alexandre Mota, Adalberto Farias, Augusto Sampaio posted to 2002 _conference by leonardo to the group SRG on 2008-04-29 16:13:50 as
	Class and Capsule Refinement in UML for Real Time [My Copy] WMF (2003), pp. 16-34. by Alexandre Mota, Augusto Sampaio, Rodrigo Ramos posted to 2003 _conference _venue_sbmf refinement umlrt by leonardo to the group SRG on 2008-04-29 16:13:50 as
	Property Oriented Testing [My Copy] Brazilian Symposium on Formal Methods In Proceedings of the Brazilian Symposium on Formal Methods, 2005 (2005), pp. 2-16. by Patrícia D. Machado, Alexandre Mota posted to 2005 _conference by leonardo to the group SRG on 2008-04-29 16:13:50 as
	Integrando UML e Métodos Formais [My Copy] (2005), pp. 80-95. by Rafael Borges, Alexandre Mota posted to 2005 _conference formal_methods uml by leonardo to the group SRG on 2008-04-29 16:13:50 as
	Viewing CSP specifications with UML-RT diagrams [My Copy] In Simpósio Brasileiro (2006), pp. 73-88. by Patrícia Ferreira, Augusto Sampaio, Alexandre Mota posted to 2006 _conference csp umlrt by leonardo to the group SRG on 2008-04-29 16:13:50 as
	A Tool to Translate CSP Models into English Requirements [My Copy] In II Encontro Brasileiro de Teste de Software (2007) by Gláucia Peres, Alexandre Mota posted to 2007 _conference csp requirements tool by leonardo to the group SRG on 2008-04-29 16:13:49 as
	Framework composition conformance via refinement checking [My Copy] SAC '08: ACM symposium on Applied computing In the 2008 ACM symposium (2008), pp. 119-125. by Rodrigo Ramos, Augusto Sampaio, Alexandre Mota posted to 2008 _conference _venue_sac by leonardo to the group SRG on 2008-04-23 03:54:58 as along with 1 person sidney
	A RUP Based Analysis and Design with Aspects [My Copy] 17th Brazilian Symposium on Software Engineering (SBES 2004) (2004) by Leonardo Cole, Eduardo K. Piveta, Augusto Sampaio posted to 2004 _conference _qualis_b2 by leonardo to the group SRG on 2008-04-18 14:09:46 as
	From Model Based Specifications to Functional Prototypes [My Copy] TENCON '91.1991 IEEE Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems In TENCON '91.1991 IEEE Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems, Vol. 2 (1991), pp. 275-278. by Paulo H. Borba, Sílvio R. Meira posted to 1991 _conference by leonardo to the group SRG on 2008-04-17 12:52:26 as
	Refinement Algebra for Formal Bytecode Generation [My Copy] Formal Methods and Software Engineering (2002), pp. 347-358. by Adolfo Duran, Ana Cavalcanti, Augusto Sampaio posted to 2002 _conference by leonardo to the group SRG on 2008-04-16 16:09:52 as
	An Integrated Approach to Specification and Validation of Real-Time Systems [My Copy] FME 2001: Formal Methods for Increasing Software Productivity (2001), pp. 278-299. by Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante posted to 2001 _conference csp timed-csp-z z by leonardo to the group SRG on 2008-04-16 16:07:53 as
	Serialising Parallel Processes in a Hardware/Software Partitioning Context [My Copy] FME 2001: Formal Methods for Increasing Software Productivity (2001), pp. 344-363. by Leila Silva, Augusto Sampaio, Geraint Jones posted to 2001 _conference by leonardo to the group SRG on 2008-04-16 16:07:40 as
	Parts a partitioning transformation system [My Copy] FM’99 — Formal Methods (1999), pp. 716-716. by Juliano Iyoda, Augusto Sampaio, Leila Silva posted to 1999 _conference by leonardo to the group SRG on 2008-04-16 16:04:07 as
	An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment [My Copy] Algebraic Methodology and Software Technology (1999), pp. 308-324. by Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda posted to 1999 _conference by leonardo to the group SRG on 2008-04-16 15:56:52 as
	Mechanical Abstraction of CSP Z Processes [My Copy] FME 2002:Formal Methods—Getting IT Right (2002), pp. 163-183. by Alexandre Mota, Paulo Borba, Augusto Sampaio posted to 2002 _conference cspz by leonardo to the group SRG on 2008-04-16 15:49:54 as along with 1 person sidney
	Using Refinement Checking as System Testing [My Copy] IDEAS 2008 In Iberoamerican Workshop on Requirements Engineering and Software Environments 2008 (11 February 2008) by Cristiano Bertolini, Alexandre Mota posted to 2008 _conference _qualis_b5 by leonardo to the group SRG on 2008-03-28 18:29:47 as
	Towards provably correct hardware/software partitioning using OCCAM [My Copy] Hardware/Software Codesign, 1994., Proceedings of the Third International Workshop on In Hardware/Software Codesign, 1994., Proceedings of the Third International Workshop on (1994), pp. 210-217. by Edna Barros, Augusto Sampaio posted to 1994 _conference by leonardo to the group SRG on 2008-01-08 11:26:17 as
	A Strategy for the Formal Composition of Frameworks [My Copy] Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on In SEFM '05: Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (2005), pp. 404-413. by Walter Mesquita, Augusto Sampaio, Ana C. V. Melo posted to 2005 composition _conference frameworks by leonardo to the group SRG on 2008-01-08 11:14:12 as along with 2 people gregdavisfromnj sidney
	Modular Object-oriented Z Specifications [My Copy] In Z User Workshop (1990), pp. 173-192. by Sílvio R. Meira, Ana Cavalcanti edited by J. E. Nicholls posted to 1990 _conference mooz z by leonardo to the group SRG on 2007-11-30 02:18:48 as
	The MooZ Environment [My Copy] In Z User Workshop (1990), pp. 381-381. by Sílvio R. Meira edited by J. E. Nicholls posted to 1990 _conference mooz z by leonardo to the group SRG on 2007-11-30 02:16:46 as
	Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets [My Copy] Applications and Theory of Petri Nets 2003 (2003), pp. 161-180. by Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante posted to 2003 _conference csp petrinets timed-csp-z z by leonardo to the group SRG on 2007-11-26 14:19:53 as
	Processes and functions [My Copy] TAPSOFT '89 In TAPSOFT '89 (1989), pp. 286-297. by Sílvio Meira posted to 1989 _conference by leonardo to the group SRG on 2007-10-30 17:29:56 as

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

Result page: 1 2 Next

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

csp	10
z	10
2002	6
2005	5
2009	4
refinement	4
1990	3
2003	3
2008	3
circus	3
cspz	3
java	3
model_checking	3
mooz	3
1994	2
1999	2
2000	2
2001	2
2006	2
_venue_fmoods	2
test	2
timed-csp-z	2
umlrt	2
1988	1
1989	1
1991	1
1995	1
1997	1
1998	1
2004	1
2007	1
_qualis_a1	1
_qualis_a2	1
_to_download	1
_venue_icst	1
_venue_ictac	1
_venue_models	1
_venue_sac	1
algebraic_derivation	1
algebraic_laws	1
aspects	1
blackbox	1
case_study	1
compilation	1
composition	1
compositional_verification	1
concurrency	1
crash	1
csp-oz	1
data_abstraction	1
design_patterns	1
eiffel	1
formal_methods	1
formal_methods_integration	1
formal_verification	1
frameworks	1
integrated_formalism	1
language_design	1
laws	1
method_integration	1
model_patterns	1
model_transformation	1
object	1
object-oriented_specification	1
operational_semantics	1
parameterized_programming	1
petrinets	1
process_algebra	1
real-time	1
rool	1
semantics	1
specification	1
testpurpose	1
tests	1
tool_support	1
transformation	1
utp	1
verification	1

Group: SRG - with tag _conference [70 articles] Export Sort

Related Tags